ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2019

http://ejcp2019.icube.unistra.fr/

Strasbourg, 24-28 juin 2019

Organisateurs : Arthur Charguéraud, Jean-Christophe Filliâtre,
Nicolas Magaud, Julien Narboux

L’École Jeunes Chercheurs en Programmation se déroulera cette année du
24 au 28 juin 2019, à Strasbourg. Cette école s’adresse particulièrement
aux étudiants en premiè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 programme de l’école est le suivant :

– Julia Lawall
Coccinelle: Practical program transformation for the Linux kernel
– Andrei Paskevich
Deductive Program Verification with Why3
– Xavier Blanc
Étude Empirique En Génie Logiciel – Application sur GitHub et Alexa
– Julien Signoles
Interprétation abstraite et propriétés de programmes C
– Charlotte Truchet
Introduction à la programmation par contraintes
– Julien Narboux
Introduction à la preuve formelle avec Coq
– Mathieu Acher
Software Variability and Artificial Intelligence
– Arthur Charguéraud
Program Verification using CFML 2.0

Les frais d’inscription s’élèvent à 275 euros (incluant hébergement en
chambre simple, déjeuners, une visite, une réception).

Les inscriptions sont ouvertes. Les participants sont invités à
s’inscrire rapidement. La date limite d’inscription est fixée
au 10 juin 2019.