The Coq mailing list

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

ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2018

  https://ejcp2018.sciencesconf.org/

Lyon, 25-29 juin 2018

Organisateurs : Pierre Clairambault , Jean-Christophe Filliâtre, Laure
Gonnord, Daniel Hirschkoff, Laetitia Lecot, Nathalie Revol

L'École Jeunes Chercheurs en Programmation se déroulera cette année du
25 au 29 juin 2018, à Lyon. 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.

L'EJCP propose un parcours unique, mélangeant les thématiques
"Ingénierie Logicielle" et "Programmation et Vérification". Certains
cours seront donnés en français, d'autres en anglais. Le matériel
pédagogique (supports de cours, transparents) sera en anglais.
Certains cours seront associés à des travaux pratiques.

Le programme de l'école est le suivant :

- Stéphanie Delaune
    Verification of security protocols: from confidentiality to privacy
- Matthieu Sozeau
    Introduction to Type Theory & Interactive Theorem Proving in Coq
- Virgile Prevosto
    Interprétation abstraite et propriétés de programmes C
- Andrei Paskevich
    Deductive Program Verification with Why3
- Xavier Blanc
    Étude Empirique En Génie Logiciel - Application sur GitHub et Alexa
- Charlotte Truchet
    Introduction à la programmation par contraintes
- Julia Lawall
    Coccinelle: Practical program transformation for the Linux kernel
- Mathieu Acher
    Software Variability and Artificial Intelligence

Les frais d'inscription s'élèvent à 280 euros (incluant hébergement,
repas, une visite, une réception) et 120 euros pour les lyonnais
(sans hébergement).

Les inscriptions sont ouvertes. Les participants sont invités à
s'inscrire rapidement, notamment s'ils souhaitent bénéficier d'un
hébergement en chambre simple. La date limite d'inscription est fixée
au 11 juin 2018.

N'hésitez pas à diffuser ce message autour de vous.