Section: Other Grants and Activities
Visits of foreign researchers
S.P. Suresh: from CMI, Chennai visited Cassis for 2 weeks in June 2007 and has worked with E. Zalinescu on modelling security with epistemic logics.
M. Utting : from August 30 to September 7, 2007 for working on model-based testing.
H. Boucheneb: professeur agrégé, Université de Montréal, has been invited professor in CASSIS during 2 months (November/December) and has been working on infinite state verification.
In 2007/08, Dr. Natalia Sidorova will be an Invited Professor at the University of Franche-Comté.