--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on April 2016 ---
Ã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 13 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.