École Jeunes Chercheu/r/se/s en
Informatique Mathématique 2015

lundi 30 mars au vendredi 3 avril 2015
à Orléans (Centre International Universitaire pour la Recherche, en centre ville)

Il s’agit d’une école thématique du CNRS

Comme chaque année, des thématiques représentatives de la diversité du GdR Informatique Mathématique seront développées.

  • Algorithmes exacts (exponentiels) pour problèmes NP-difficiles
    • Ioan TODINCA (LIFO, Université d’Orléans, Orléans)
    • Mathieu LIEDLOFF (LIFO, Université d’Orléans, Orléans)
    • Vincent T’KINDT (LI, Université François Rabelais, Tours)
  • Calculs de programmes parallèles avec Coq
    • Frédéric LOULERGUE (Inria πr², Paris et LIFO, Université d’Orléans, Orléans)
    • Wadoud BOUSDIRA (LIFO, Université d’Orléans, Orléans)
    • Julien TESSON (LACL, Université Paris-est Créteil)
  • Construire et calculer dans un monde 2D
    • Jérôme DURAND-LOSE (LIFO, Université d’Orléans, Orléans)
    • Florent BECKER (LIFO, Université d’Orléans, Orléans)
  • Contrôle des modèles probabilistes partiellement observables
    • Nathalie BERTRAND (Inria, IRISA Rennes)
    • Serge HADDAD (LSV, ENS Cachan, CNRS, Inria)
  • Résolution de systèmes polynomiaux sur les réels et applications
    • Mohab SAFEY EL DIN (LIP6, Université Pierre et Marie Curie, Paris)

Ces cours seront accompagnés des exposés suivants :

  • Questions de décidabilité sur les modèles temporisés, une application des techniques de calcul formel
  • L’Assistant Coq : une boite à outils pour l’ingénierie des preuves

L’EJC est ouverte :

  • Priorité aux doctorants et jeunes docteurs
  • Accueil les collègues de tout âge intéressé par les cours présentés
  • Accepte les étudiants de master 2 (sur recommandation d’un chercheur confirmé)

Cette école fait suite aux écoles :

L’origine de cette série d’écoles remonte aux écoles organisées en 1996 et 1997 par le GDR-PRC Algorithmes, Modèles, Infographie (AMI)