ÉCOLE
JEUNES CHERCHEURS
en PROGRAMMATION
2011
Spécification de logiciels
Analyse et preuve de programmes
Sécurité logicielle
L'École jeunes chercheurs en programmation accueille chaque année pendant 10 jours une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique.
Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n'auront pas été abordés pendant leur MASTER. De plus, à l'issue de l'École, tous connaîtront l'ensemble des thèmes étudiés dans nos équipes et les spécialistes de chaque domaine.
Grâce à l'enthousiasme sans cesse renouvelé des intervenants, les cours sont de très grande qualité : théorie du domaine, illustrations des concepts, bibliographie, démonstrations et support de cours.
Cette année, l'école aura lieu au Manoir de la Vicomté à Dinard du mercredi 22 au lundi 27 juin et à l'INRIA à Rennes du mardi 28 juin au vendredi 1er juillet.
DINARD
du 22 au 27 juin 
RENNES
du 28 juin au 1er juillet
www.ejcp2011.inria.fr
