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 - Dernier appel à participation


  • Subject: [Frama-c-discuss] EJCP 2016 - Dernier appel à participation
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
  • Date: Tue, 10 May 2016 10:43:08 +0200

** la date limite d'inscription a été repoussée au 20 mai **

EJCP 2016 - Appel à participation

É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 *20 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.