Marco Roveri: Events

Researcher

This an always incomplete list of events I am involved with:

The First Verification and Debugging workshop affiliated with CAV 2006. Organizer jointly with R. Bloem from the Technical University of Graz, and with F. Somenzi from the Univeristy of Colorado.
Coach with M. Aiello of the Univeristy of Trento Team for the participation to the ACM International Collegiate Programming Contest. See this link for details.
Teacher with A. Cimatti and M. Pistore to the Model Checking --- A Hands-On Introduction at the 13Th International Conference on Automated Planning&Scheduling that will be held in Trento (Italy) from June 9 to Jube 13 2003.
Teacher with Prof. F. Giunchiglia and Prof. M. Pistore to the Formal Methods and Model Checking and The NuSMV system courses at the Calculemus Autumn School 2002 that was held in Pisa (Italy) from 23 September to 4 October 2002.
Organizer and speaker together with P. Bertoli and M. Pistore to the AIPS tutorial on Planning as Symbolic Model Checking.
Organizer and speaker together with A. Cimatti and M. Pistore at the Model Checking Tutorial (MCT) held during the The 1999 Federated Logic Conference (FLOC'99), held in Trento.
Local Organizer of the Calculemus Meeting 1997 held in Trento.

Marco Roveri :

Last modified: Thu Nov 8 16:11:14 CET 2001