--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on February 2020 ---
ÃCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2020 https://ejcp2020.ls2n.fr/ Nantes, 22-26 juin 2020 Organisateurs : Hélène Coulon, Benoît Delahaye, Jean-Christophe Filliâtre, Assia Mahboubi, Nicolas Tabareau, Charlotte Truchet L'Ãcole Jeunes Chercheurs en Programmation se déroulera cette année du 22 au 26 juin 2020, à Nantes. 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 - Virgile Prevosto Interprétation abstraite et propriétés de programmes C - Charlotte Truchet Introduction à la programmation par contraintes - Assia Mahboubi Introduction à la preuve formelle avec Coq - Mathieu Acher Software Variability and Artificial Intelligence - Arthur Charguéraud Vérification de Programme avec la Logique de Séparation dans Coq Les frais d'inscription s'élèvent à 250 euros (incluant hébergement, déjeuners, une visite, une réception). Les inscriptions seront bientôt ouvertes. N'hésitez pas à diffuser ce message autour de vous.