|
lundi 11 mars 2019
| Heures | événement | |
| 15:15 - 15:20 | Ouverture | |
| 15:20 - 16:20 | GdR IM - Nicolas Ollinger | |
| 15:20 - 16:20 | › La théorie des jeux en synthèse assistée par ordinateur - Véronique Bruyère, University of Mons, Belgique | |
| 16:20 - 16:40 | Pause thé | |
| 16:40 - 17:30 | GdR IM - Florent Becker | |
| 16:40 - 17:30 | › L'accessibilité dans les réseaux de Petri est non élémentaire - Jérôme Leroux, LaBRI, Bordeaux | |
| 17:30 - 18:15 | Assemblée Générale - Jean-Michel MULLER et Guillaume THEYSSIER | |
| 17:30 - 17:35 | › Intervention comme DAS à l'INS2I (CNRS) - Adeline Nazarenko, DAS INS2I et LIPN |
mardi 12 mars 2019
| Heures | événement | |
| 09:00 - 10:40 | GdR IM - Pascal Weil | |
| 09:00 - 09:50 | › Les jeux combinatoires et le GDR IM - Aline Parreau, CNRS, LIRIS, Lyon | |
| 09:50 - 10:40 | › Unions de boules pour la représentation de formes - Isabelle Sivignon, GIPSA-lab, Grenoble | |
| 10:40 - 11:00 | Pause café | |
| 11:00 - 12:00 | GdR IM - Guillaume Theyssier | |
| 11:00 - 12:00 | › Sketches and streaming algorithms for string processing - Tatiana Starikovskaya, École normale supérieure, Paris | |
| 12:00 - 14:00 | Déjeuner | |
| 14:00 - 14:15 | Présentation du GT IM-IA - Florent Capelli | |
| 14:15 - 15:45 | IA-IM - Florent Capelli | |
| 14:15 - 15:00 | › Apprentissage séquentiel avec graphes de feedback - Frédéric Koriche, CRIL | |
| 15:00 - 15:45 | › L'informatique mathématique rencontre le choix social computationnel - Jérôme Lang, CNRS, LAMSADE, PSL, Université Paris-Dauphine | |
| 15:45 - 16:15 | Pause thé | |
| 16:15 - 17:45 | IA-IM - Florent Capelli | |
| 16:15 - 17:00 | › Résolution d'équations logiques - Philippe Balbiani, IRIT | |
| 17:00 - 17:45 | › Preuves formelles et sémantique du langage naturel - Christian Retoré, LIRMM | |
| 19:30 - 20:00 | Départ en bus pour le banquet de devant le théâtre, Orléans Centre - Orléans centre, devant le théâtre | |
| 20:00 - 23:00 | Banquet (Restaurant Pavillon Bleu 351 Rue de la Reine BLANCHE 45160 OLIVET https://pavillonbleu-restaurant.com/) (Restaurant Pavillon Bleu 351 Rue de la Reine BLANCHE 45160 OLIVET https://pavillonbleu-restaurant.com/) |
mercredi 13 mars 2019
| Heures | événement | |
| 09:00 - 10:40 | GdR IM - Laurent Imbert | |
| 09:00 - 09:50 | › Sur les protocoles Diffie-Hellman pré- et post-quantique - Benjamin Smith, INRIA, LIX, Palaiseau | |
| 09:50 - 10:40 | › Codage géométrique pour la synthèse - Pooran Memari, CNRS, LIX | |
| 10:40 - 11:00 | Pause café | |
| 11:00 - 12:00 | GdR IM - Jérôme Durand-Lose | |
| 11:00 - 12:00 | › Faster k-SAT algorithms using biased-PPSZ - Uri Zwick, Tel Aviv University | |
| 12:00 - 14:00 | Déjeuner | |
| 14:00 - 15:20 | Posters | |
| 15:20 - 15:40 | Pause thé | |
| 15:40 - 17:20 | GdR IM - Sylvie Boldo | |
| 15:40 - 16:30 | › Proof complexity of the graph isomorphism problem - Joanna Ochremiak, LaBRI, Bordeaux | |
| 16:30 - 17:20 | › Combinatoire des produits de mélange (ou comment battre un jeu de cartes) - Matthieu Josuat-Verges, LIGM | |
| 17:30 - 18:30 | Réunion - Responsables de GT |
jeudi 14 mars 2019
| Heures | événement | |
| 09:00 - 10:40 | GdR IM - Mathieu Liedloff | |
| 09:00 - 09:50 | › From validated numerics to spacecraft trajectories and back - Mioara Joldes, LAAS, Toulouse | |
| 09:50 - 10:40 | › Automates linéaires cellulaires, p-automaticité et mesures invariantes - Reem Yassawi, Université Claude Bernard Lyon 1 | |
| 10:40 - 11:00 | Pause café | |
| 11:00 - 12:00 | GdR IM - Jean-Michel Muller | |
| 11:00 - 12:00 | › La combinatoire de Catalan rectangulaire : un survol - François Bergeron, Département de Mathématiques (UQAM) | |
| 12:00 - 12:15 | Fermeture - Jean-Michel MULLER et Guillaume THEYSSIER | |
| 12:15 - 14:00 | Déjeuner |
|
|