Journées Nationales Informatique Mathématique 2019
11-14 mars 2019 Orléans (France)

Programme

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  
Personnes connectées : 1