Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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é.


previous
next

Logo Inria