Sites Inria

École d'été

École Jeunes Chercheurs en Programmation 2016

L’École jeunes chercheurs en programmation accueille chaque année pendant une semaine une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique. Cette année, l'école se déroule au sein de l'Université Lille 1, du lundi 27 juin au vendredi 1er juillet. Inscrivez-vous avant le 13 mai.

  • Date : 27/06/2016 au 1/07/2016
  • Lieu : Université de Lille 1

École jeunes chercheurs en programmation

Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n’auront pas été abordés pendant leur Master. De plus, à l’issue de l’École, tous connaîtront l’ensemble des thèmes étudiés dans nos équipes et les spécialistes de chaque domaine.

Grâce à l’enthousiasme sans cesse renouvelé des intervenants, les cours sont de très grande qualité : présentations théoriques et pratiques du domaine, illustrations des concepts, bibliographie, démonstrations et support de cours.

Cette année, l’école aura lieu à l'Université de Lille Sciences et Technologies dans le Laboratoire CRIStAL du lundi 27 juin au vendredi 1er juillet 2016. Elle sera composée de cours dans deux grandes thématiques, l'une portant sur l’ingénierie logicielle, et l'autre sur les langages de programmation et la vérification.

L'évènement est organisé par l’Université de Lille 1, avec le soutien du GPL-GDR, du CNRS, du Laboratoire CRiStAL et du centre de recherche Inria Lille - Nord Europe.

Programme EJCP 2016

Lundi 27 juin

  • 14h-17h30 : Verification of security protocols: from confidentiality to privacy, par Stéphanie Deleaune

Mardi 28 juin

  • 9h-12h30 : Short introductions to Type Theory and the Coq system, par Yves Bertot
  • 14h-17h30 : Domain-specific Languages : Why, and How-to, par Sébastien Mosser

Mercredi 29 juin

  • 9h-12h30 : Research in Compilers an Introduction to Lood Transformations, par Tomofumi Yuki
  • 14h-17h30 : Sylvain Conchon

Jeudi 30 juin

  • 9h-12h30 : Deductive Program Verification with Why3, par Andrei Paskevitch
  • 14h-17h30 : Model-Based Testing in Practice, par Frédéric Dadeau

Vendredi 1er juillet

  • 9h-12h30 : Introduction to Empirical Software Engineering, par Martin Monperrus
  • 14h : fin de l'école

Keywords: Ecole Jeunes Chercheurs en Programmation EJCP Ingénierie logicielle Langages de programmation

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !