PhD in Computer Science (last activated in 2013)

PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

List of advanced teaching activities by series/year

28° Ciclo
Internal activities
Name	Period
Course title: Algorithmic Graph Theory	5-21 marzo 2013

24° ciclo
Internal activities
Name	Period
Corso: Elementi di Topologia	2 febbraio - 6 aprile 2009
Insegnamento "Elementi di topologia"	2 febbraio - 6 aprile 2009

23° ciclo
Internal activities
Name	Period
Corso "Automatic Termination Analysis of Programs"	May 6, 8, 13, 15 and 20, 2008
Corso “Deduction systems for non-classical logics"	29 Aprile 4 Giugno 2008 (20 ore)
Corso "Image Registration 2D, 3D, Rigid and Deformable Scenes"	April 28 - May 2 and May 12-16, 2008
Model Checking	April 2008

22° ciclo
Internal activities
Name	Period
Corso "Advanced algorithms for the analysis and visualization of DNA and protein sequences" - Prof. Zu-Guo Yu	16-26 Luglio 2007
Corso "Introduction to Engineering and Formal Methods for Information Security" - Prof. David Basin	11-18 Settembre 2007
Introduction to Engineering and Formal Methods for Information Security - Prof. Dr. David Basin	11-18 Settembre 2007
Lectio Magistralis: Biometric Recognition: How Do I Know Who You Are? - Anil K. Jain	12 Luglio 2007
Lectio Magistralis "Biometric Recognition: How do I Know who you are ?" - Prof. Anil K. Jain	12 Luglio 2007
Lectio Magistralis "Information Security: from an Art to a Science" - Prof. David Basin	13 settembre 2007
Lectio Magistralis: Information Security: From an Art to a Science - Prof. Dr. David Basin	13 Settembre 2007
Lectio Magistralis "Neuroscience and artificial intelligence" - Prof. Tommaso Poggio	12 Dicembre 2007

19° ciclo
Internal activities
Name	Period
Corso base di complessità e approssimazione	Novembre-dicembre 2004
Doctoral Class on Modern Mathematics for Contemporary Sound Modeling	SEPT. 28 -- 30 2004 NOV. 18 2004 DEC. 16 2004