Programme

Semaine Liste

	Mer. 04	Jeu. 05	Ven. 06
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	Accueil Amphi E 0.1 / Déjeuner au restaurant universitaire. 11:30 - 14:00 (2h30) Accueil Amphi E 0.1 / Déjeuner au restaurant universitaire. Présentation des Journées 14:00 - 14:20 (20min) Présentation des Journées Exposés SDA2 14:20 - 15:50 (1h30) Exposés SDA2 Amphi E 0.1 › Apprentissage par comparaisons de paires : deux sont suffisantes, une non - benoit Laslier, Université Paris-Diderot 14:20-15:10 (50min) › Folding shapes with oritatami systems - Nicolas Schabanel, Laboratoire de l'Informatique du Parallélisme 15:10-15:50 (40min) Pause café 15:50 - 16:10 (20min) Pause café Amphi E 0.1 Exposés SDA2 16:10 - 17:40 (1h30) Exposés SDA2 Amphi E 0.1 › Automates bons pour les jeux. - Denis Kuperberg, LIP 16:10-17:00 (50min) › Logique et automates de posets série-parallèles indexés par des ordres linéaires dénombrables et dispersés - Amazigh AMRANE, LITIS (EA 4108) 17:00-17:40 (40min) Pause café 17:40 - 17:50 (10min) Pause café Amphi E 0.1 Discussion libre sur la vie du GT SDA2 17:50 - 18:20 (30min) Discussion libre sur la vie du GT SDA2 Amphi E 0.1	Exposés SDA2 9:10 - 10:30 (1h20) Exposés SDA2 Amphi E 0.1 › New tools for state complexity - Edwin Hamel-de le Court, Laboratoire dÍnformatique, de Traitement de lÍnformation et des Systèmes 09:10-09:50 (40min) › Randomization pour le consensus de moyenne - Patrick Lambein, Laboratoire dínformatique de l\'École polytechnique [Palaiseau] 09:50-10:30 (40min) Pause café 10:30 - 10:50 (20min) Pause café Amphi E 0.1 Exposés SDA2 10:50 - 12:20 (1h30) Exposés SDA2 Amphi E 0.1 › (Dé)composition de Réseaux d'Automates Booléens - Pacôme PERROTIN, Laboratoire dÍnformatique et Systèmes 10:50-11:30 (40min) › Apprentissage d'Automates Pondérés Probabilistes. - 11:30-12:20 (50min) Buffet en compagnie des historiens et des économistes 12:30 - 14:00 (1h30) Buffet en compagnie des historiens et des économistes Exposés SDA2 14:00 - 15:30 (1h30) Exposés SDA2 Amphi E 0.1 › Jeux combinatoires et langages : des relations bidirectionnelles - Eric Duchene, Laboratoire dÍnfoRmatique en Image et Systèmes dínformation - Aline Parreau, Laboratoire dÍnfoRmatique en Image et Systèmes dínformation 14:00-14:50 (50min) › Reversibility vs local creation/destruction - Nicolas Durbec. LIS, Aix Marseille Université 14:50-15:30 (40min) Pause café 15:30 - 15:50 (20min) Pause café Amphi E 0.1 Exposés SDA2 15:50 - 17:50 (2h) Exposés SDA2 Amphi E 0.1 › La danse des solitons dans les automates cellulaires - Guillaume Theyssier, Institut de Mathématiques de Marseille 15:50-16:30 (40min) › Universality in Freezing Cellular Automata - Diego MALDONADO, Laboratoire d'Informatique Fondamentale d'Orléans 16:30-17:10 (40min) › Caractérisation logique de la complexité d'un automate cellulaire. - Théo Grente, Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen 17:10-17:50 (40min) Dîner au restaurant "les Poteaux Carrés" 19:30 - 22:00 (2h30) Dîner au restaurant "les Poteaux Carrés"	Exposés SDA2 9:10 - 10:40 (1h30) Exposés SDA2 Amphi E 0.1 › N-complétude dans les réseaux d'automates - Florian Bridoux, Laboratoire dÍnformatique et Systèmes 09:10-09:50 (40min) › Discrétisations d'applications linéaires - Pierre-Antoine Guiheneuf, Institut de Mathématiques de Jussieu - Paris Rive Gauche 09:50-10:40 (50min) Pause café 10:40 - 11:00 (20min) Pause café Amphi E 0.1 Exposés SDA2 11:00 - 12:30 (1h30) Exposés SDA2 Amphi E 0.1 › Points apériodiques dans les espaces de pavage bidimensionnels - Benjamin Hellouin de Menibus, Laboratoire de Recherche en Informatique 11:00-11:40 (40min) › On an infinitary extension of the Graham-Rothschild Parameter Sets Theorem - Luca Zamboni, Institut Camille Jordan 11:40-12:30 (50min) Déjeuner au restaurant universitaire 12:30 - 13:30 (1h) Déjeuner au restaurant universitaire

Personnes connectées : 1