The Coq mailing list

[Ralf Jung <jung AT mpi-sws.org>]

Hello,

unfortunately, I do not speak French very well.  Is an English version of this
announcement available?

Kind regards,
Ralf

On 16.03.2018 08:15, Jean-Christophe Filliatre wrote:
> É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.
>