Lundi 30 mars
- 13h30
- Accueil
- 14h15
- Ouverture
- 14h30
- Résolution de systèmes polynomiaux sur les réels et applications
Mohab SAFEY EL DIN (LIP6, Université Pierre et Marie Curie, Paris)
- 16h00
- Pause thé
- 16h20
- Résolution de systèmes polynomiaux sur les réels et applications (fin)
- 17h50
- Fin de la journée
Mardi 31 mars
- 09h00
- 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)
- 10h00
- Pause café
- 10h20
- Algorithmes exacts (exponentiels) pour problèmes NP-difficiles (fin)
- 12h20
- Photo de groupe
Repas midi
- 14h00
- Présentation générale de Coq
Christine PAULIN-MOHRING (LRI, Université Paris-Sud)
- 15h00
- Questions de décidabilité sur les modèles temporisés, une application des techniques de calcul formel
Béatrice BÉRARD (LIP6)
- 16h00
- Pause thé
- 16h20
- Exposés Écoliers
- 18h00
- Fin de la journée
Mercredi 1 avril
- 09h00
- Contrôle des modèles probabilistes partiellement observable
Nathalie BERTRAND (Inria, IRISA Rennes)
Serge HADDAD (LSV, ENS Cachan, CNRS, Inria)
- 10h30
- Pause café
- 10h50
- Contrôle des modèles probabilistes partiellement observable (TD + Cours )
- 12h20
- Repas midi
- 14h00
- Contrôle des modèles probabilistes partiellement observable (Cours + TD)
- 15h00
- Pause thé
- 15h20
- Visite Vieil Orléans (2h)
- 20h00
- Banquet
Jeudi 2 avril
- 09h00
- 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)
- 10h30
- Pause café
- 10h50
- Calculs de programmes parallèles avec Coq
- 12h20
- Repas midi
- 14h00
- Calculs de programmes parallèles avec Coq (TP amener son portable)
- 15h00
- Présentation du GdR Informatique Mathématique
- 15h20
- Pause thé
- 15h40
- Exposés Écoliers
- 18h00
- Fin de la journée
Vendredi 3 avril
- 09h00
- 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)
- 10h30
- Pause café
- 10h50
- Construire et calculer dans un monde 2D (fin)
- 12h20
- Repas midi
- 14h00
- Clôture