ÉCOLE
JEUNES CHERCHEURS
en PROGRAMMATION
2011
Spécification de logiciels
Analyse et preuve de programmes
Sécurité logicielle
Responsables scientifiques : Thomas Jensen, Vlad Rusu
Gestion des inscriptions : Elisabeth Lebret, Lydie Mabil
Webmestre : Lydie Mabil
DINARD
du 22 au 27 juin 
RENNES
du 28 juin au 1er juillet
www.ejcp2011.inria.fr
