ÉCOLE
JEUNES CHERCHEURS
en PROGRAMMATION
2011
Spécification de logiciels
Analyse et preuve de programmes
Sécurité logicielle
Le programme est disponible en version .pdf
mercredi 22 - lundi 27 juin : Manoir de la Vicomté à Dinard
Une navette "spécial EJCP 2011" acheminera les participants de Dinard à Rennes (centre ville)
mardi 28 juin - vendredi 1er juillet : INRIA Rennes
DINARD
du 22 au 27 juin 
RENNES
du 28 juin au 1er juillet
www.ejcp2011.inria.fr
