Foundations of Information Technologies

- FIT 2009 -

June 14-27, 2009, Novi Sad

General Information
Courses and Lecture Notes
Local Information




Ph.D. Courses


Module 1

1.1. Gian Luca Foresti, Christian Micheloni: Artificial Vision.

1.2. Roberto Ranon: Interactive 3D Graphics.


Module 2

2.1. Furio Honsell, Pietro Di Gianantonio: Semantics of Programming Languages.

2.2. Salvador Lucas: Introduction to Term Rewriting: Techniques and Applications.


Module 3

3.1.  Marina Lenisa, Ivan Scagnetto: Concurrent and global computing.

3.2.  Luigi Liquori: Overlay and P2P networks.



Advanced topics-research novelties


Furio Honsell: Conway Games, coalgebraically.

Pierre Lescanne: Coinduction in proof assistants.

Mariangiola Dezani-Ciancaglini: Sessions and Session Types: an Introduction.

Pawel Urzyczyn: Decision problems in polymorphic type assignment.

Joakim Lindblad: New objective analysis techniques for quantification of tissue regeneration around medical devices.








Research topics-assignments







1.1        1.2      2.1 - I   2.1 - II       2.2        3.1        3.2










      Each of the 6 listed summer school courses consists of:

  • 6 hours of lecture,

  • 6 hours of individual research and

  • final presentations of the results of the Students' Presentation Session.

Each participant can take all the courses. A certificate of an accomplished Ph.D. course will be issued to the students who successfully fulfill the requirements of any

two of the offered six courses.