PhD in Computer Science (last activated in 2013)

PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

Fol-Fac application error page.

Page not found

Request redirected (address or url) incorrect.

This may be due to a wrong address or a problem with the server.

We apologise for any inconvenience. Please try again to enter into the presently unavailable page as soon as possible.


wrong page address: https://www.di.univr.it/?ent=ava&cs=108&lang=en

Did you mean: https://www.di.univr.it/?ent=ava

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