Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)

Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)

Corso a esaurimento (attivi gli anni successivi al primo)

   

Elenco delle attività didattiche avanzate divise per cicli/anni

28° Ciclo
Attività interna
Nome Periodo
Course title: Algorithmic Graph Theory 5-21 marzo 2013
24° ciclo
Attività interna
Nome Periodo
Corso: Elementi di Topologia 2 febbraio - 6 aprile 2009
Insegnamento "Elementi di topologia" 2 febbraio - 6 aprile 2009
23° ciclo
Attività interna
Nome Periodo
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 Aprile 2008
22° ciclo
Attività interna
Nome Periodo
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
Attività interna
Nome Periodo
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