--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on May 2016 ---
** la date limite d'inscription a été repoussée au 20 mai ** EJCP 2016 - Appel à participation ÃCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2016 Lille, 27 juin - 1er juillet 2016. Organisateurs: Laurence Duchien, Jean-Christophe Filliâtre, Christine Yvoz. L'Ãcole Jeunes Chercheurs en Programmation se déroulera cette année du 27 juin au 1er juillet, à Lille. Cette école s'adresse particulièrement aux étudiants en 1ère année de thèse, mais les autres doctorants ou chercheurs sont également les bienvenus. Les inscriptions sont ouvertes sur le site de l'école : http://ejcp2016.univ-lille1.fr/ Nous proposons cette année un parcours unique, mélangeant les thématiques "Ingénierie Logicielle" et "Programmation et Vérification". La plupart des cours seront associés à des travaux pratiques. Certains cours seront donnés en français, d'autres en anglais. Le matériel pédagogique (supports de cours, transparents) sera en anglais. Le programme de l'école est le suivant. |------+----------------------------------------------------------------------| | date | cours | |------+----------------------------------------------------------------------| | 27 | Verification of security protocols: from confidentiality to privacy | | | (Stéphanie Delaune) | |------+----------------------------------------------------------------------| | 28 | Short introductions to Type Theory and the Coq system | | | (Yves Bertot) | | | Domain-specific Languages: Why, and How-to | | | (Sébastien Mosser) | |------+----------------------------------------------------------------------| | 29 | Research in Compilers and Introduction to Loop Transformations | | | (Tomofumi Yuki) | | | Model Checking Modulo Theories with Cubicle | | | (Sylvain Conchon) | |------+----------------------------------------------------------------------| | 30 | Deductive Program Verification with Why3 | | | (Andrei Paskevich) | | | Model-Based Testing in Practice | | | (Frédéric Dadeau) | |------+----------------------------------------------------------------------| | 1 | Introduction to Empirical Software Engineering | | | (Martin Monperrus) | |------+----------------------------------------------------------------------| La date limite d'inscription est le *20 mai 2016*. N'hésitez surtout pas à diffuser ce message auprès du public potentiellement intéressé, en particulier les doctorants de 1ère année dans les thématiques de l'école.