Foundations of Information Technologies

- FIT 2009 -

June 14-27, 2009, Novi Sad

General Information
Lecturers
Courses and Lecture Notes
Schedule
Committees
Application
Contact
Participants
Local Information
News

                  

 

 

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.