Ecole de Printemps en Informatique Théorique 2006
J'organise avec
Paul-André Melliès
la prochaine
Ecole de Printemps en Informatique Théorique
qui aura pour thème les Jeux en Sémantique et en Vérification.
L'Ecole se déroulera sur l'Ile de Ré du Lundi 29 Mai
au Vendredi 3 Juin 2006.
Elle est destinée en priorité aux étudiants
et aux chercheurs désireux d'aborder une nouvelle thématique.
Veuillez me contacter pour toute information supplémentaire.