ÉCOLE
JEUNES CHERCHEURS
en PROGRAMMATION
2011
Spécification de logiciels
Analyse et preuve de programmes
Sécurité logicielle
Infos :
Le programme de l'école & le formulaire d'inscription sont en ligne.
DINARD
du 22 au 27 juin 
RENNES
du 28 juin au 1er juillet
www.ejcp2011.inria.fr
