The Coq mailing list

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

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