École Jeunes Chercheurs en Informatique Mathématique 2013

Perpignan, du 8 au 12 avril 2013

CNRS INRIA
GDR IM
LIRMM DALI ED305
UPDV et Fondation UPVD CG66

Accueil

Le GDR Informatique Mathématique organise chaque année une école jeunes chercheurs. L'édition 2013 aura lieu à Perpignan, sur le campus de l'Université de Perpignan Via Domitia, du lundi 8 au vendredi 12 avril 2013.

Le public visé est prioritairement celui des doctorants et jeunes docteurs du GDR IM, mais aussi des étudiants de M2 ou des chercheurs d'autres GDR.

Les matinées seront consacrées aux cours thématiques. Cette année, l'école permettra d'aborder les thèmes suivants.
  1. Complexité et algorithmes paramétrés - Christophe Paul
  2. Programmes, preuves et fonctions : le ménage à trois de Curry-Howard - Lionel Vaux et Emmanuel Beffara
  3. Analyse géométriques des données - Mariette Yvinec, Frédéric Chazal et Jean-Daniel Boissonnat
  4. Matroïdes et matroïdes orientés - Jorge Ramirez et Emeric Gioan
  5. Introduction à la théorie de l'interprétation abstraite et application à la validation de codes numériques - Matthieu Martel
  6. Sage pour les applications - Thierry Monteil
L'après-midi, les jeunes chercheurs seront invités à exposer leurs travaux.

Comité scientifique

Comité d'organisation

Organisation locale : DALI, LIRMM, Univ. de Perpignan