Closing Conference of the Project was organized by

  • Mathematical Institute of the Serbian Academy of Science and Arts, Belgrade
  • Faculty of Technical Sciences, Novi Sad

It took place at three sites: Novi Sad, Archeological Site Viminacium, and Belgrade.

It was held on June 19-23, 2009.

The Program of the Conference can be found here:

Friday, June 19

  • Arrival to Novi Sad

Saturday, June 20
Meeting in Novi Sad - Advanced Topic in IT Doctoral Education

  • 09.00 Meeting at the Faculty of Technical Sciences
  • 09.00-09.15 Welcome
  • 09.15-10.00 Pierre Lescanne, ENS Lyon: “Coinduction in proof assistants”
  • 10.15- 11.00 Pawel Urzyczyn: University of Warsaw: “Decision problems in polymorphic type assignment”
  • 11.15-12.00 Furio Honsell, University of Udine: “Conway Games, coalgebraically”
  • 12.15-13.00 Joakim Lindblad, Centre for Image Analysis, Uppsala: “New objective analysis techniques for quantification of tissue regeneration around medical devices”
  • 13.00-15.00 Lunch
  • 15.00 – 17.00 Round table discussion
  • 20.00- Free evening

Sunday, June 21
Visit to Viminacium

  • 8.00 (9:30) Departure from Novi Sad (departure from Belgrade)
  • 11.00 Arrival to Viminacium
  • 11.00-12.00 Visit of the archaeological site
  • 12.00-13.00 Digitization of Cultural Heritage at Serbian institutions
    • “Archaeology and multidisciplinary methods for excavation of Roman Viminacium”, Nemanja Mrđić, Viminacium
    • “Digitized Cultural Heritage of Serbia”, Bojan Marinković, Mathematical Institute
  • 13.00-14.30 Lunch Break
  • 14.30-15.30 Visit of the archaeological site
  • 16.00 Transfer to Belgrade and Novi Sad

Monday, June 22, Closing Meeting in Belgrade
Doctoral programmes in EU and Serbia

  • 10:30 Meeting at the Mathematical Institute SANU
  • 11:00-11:30
    • Welcome by Prof. Zoran Marković, Director of Mathematical Institute SANU
    • Prof. Furio Honsell, Mayor of Udine, University of Udine
    • Ms Marija Filipović-Ožegović, Tempus Office Belgrade
  • 11:45- 13:15 Presentation of DEUKS results – Doctoral programmes in EU and Serbia
    • DEUKS at UNIUD - Prof. Marina Lenisa, grant holder, University of Udine (Italy)
    • DEUKS overview of results - Prof. Silvia Ghilezan, project coordinator, University of Novi Sad (Serbia)
    • DEUKS at INRIA - Prof. Luigi Liquori, site coordinator, INRIA, Sophia Antipolis (France)
    • DEUKS at UPV - Prof. Salvador Lucas, site coordinator, Polytechnical University Valencia (Spain)
    • DEUKS – external expert Prof. Pierre Lescanne, ENS Lyon (France)
    • DEUKS – external expert Prof. Pawel Uryzcyzn, University of Warsaw (Poland)
    • DEUKS at MISANU - Prof. Zoran Ognjanović, site coordinator, Mathematical Institute of Serbian Academy of Sciences and Arts,
      Belgrade (Serbia)
  • 13:15 Closing
  • 13:20-14:00 Visit of the Mathematical Institute.
  • 14:00 Lunch break
  • 16:00 Free time in Belgrade

Tuesday, June 23, Belgrade

  • Departure of the participant