É C O L E   J E U N E S

C H E R C H E U R S   e n

P R O G R A M M A T I O N

2011

Spécification de logiciels

Analyse et preuve de programmes

Sécurité logicielle

ACCUEIL

Responsables scientifiques : Thomas JENSEN & Vlad RUSU

DINARD

du 22 au 27 juin

RENNES

du 28 juin au 1er juillet

www.ejcp2011.inria.fr