Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] EJCP 2016 - Appel à participation
- Subject: [Frama-c-discuss] EJCP 2016 - Appel à participation
- From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
- Date: Fri, 11 Mar 2016 12:41:53 +0100
Ã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 13 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.
- Prev by Date: [Frama-c-discuss] E-ACSL 0.6 for Magnesium
- Next by Date: [Frama-c-discuss] Having Trouble Verifying a Simple Pointer Increment
- Previous by thread: [Frama-c-discuss] E-ACSL 0.6 for Magnesium
- Next by thread: [Frama-c-discuss] Problem with werify mod 256 and cast to uint8 equivalence for uint64_t
- Index(es):