The Coq mailing list

[Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>]

É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.