Programme

Semaine Lun. 11 Mar. 12 Mer. 13 Jeu. 14 Liste

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

Personnes connectées : 1