mercredi 4 juillet 2018

Heures événement  
11:30 - 14:00 Accueil Amphi E 0.1 / Déjeuner au restaurant universitaire.  
14:00 - 14:20 Présentation des Journées  
14:20 - 15:50 Exposés SDA2 (Amphi E 0.1)  
14:20 - 15:10 › Apprentissage par comparaisons de paires : deux sont suffisantes, une non - benoit Laslier, Université Paris-Diderot  
15:10 - 15:50 › Folding shapes with oritatami systems - Nicolas Schabanel, Laboratoire de l'Informatique du Parallélisme  
15:50 - 16:10 Pause café (Amphi E 0.1)  
16:10 - 17:40 Exposés SDA2 (Amphi E 0.1)  
16:10 - 17:00 › Automates bons pour les jeux. - Denis Kuperberg, LIP  
17:00 - 17:40 › 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:40 - 17:50 Pause café (Amphi E 0.1)  
17:50 - 18:20 Discussion libre sur la vie du GT SDA2 (Amphi E 0.1)  

jeudi 5 juillet 2018

Heures événement  
09:10 - 10:30 Exposés SDA2 (Amphi E 0.1)  
09:10 - 09:50 › New tools for state complexity - Edwin Hamel-de le Court, Laboratoire dÍnformatique, de Traitement de lÍnformation et des Systèmes  
09:50 - 10:30 › Randomization pour le consensus de moyenne - Patrick Lambein, Laboratoire dínformatique de l\'École polytechnique [Palaiseau]  
10:30 - 10:50 Pause café (Amphi E 0.1)  
10:50 - 12:20 Exposés SDA2 (Amphi E 0.1)  
10:50 - 11:30 › (Dé)composition de Réseaux d'Automates Booléens - Pacôme PERROTIN, Laboratoire dÍnformatique et Systèmes  
11:30 - 12:20 › Apprentissage d'Automates Pondérés Probabilistes. - Amaury Habrard - LHC, Université de Lyon, UJM St-Etienne  
12:30 - 14:00 Buffet en compagnie des historiens et des économistes  
14:00 - 15:30 Exposés SDA2 (Amphi E 0.1)  
14:00 - 14:50 › 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:50 - 15:30 › Reversibility vs local creation/destruction - Nicolas Durbec. LIS, Aix Marseille Université  
15:30 - 15:50 Pause café (Amphi E 0.1)  
15:50 - 17:50 Exposés SDA2 (Amphi E 0.1)  
15:50 - 16:30 › La danse des solitons dans les automates cellulaires - Guillaume Theyssier, Institut de Mathématiques de Marseille  
16:30 - 17:10 › Universality in Freezing Cellular Automata - Diego MALDONADO, Laboratoire d'Informatique Fondamentale d'Orléans  
17:10 - 17:50 › Caractérisation logique de la complexité d'un automate cellulaire. - Théo Grente, Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen  
19:30 - 22:00 Dîner au restaurant "les Poteaux Carrés" - 15-17 place Jean Jaurès, 42000 Saint-Etienne  

vendredi 6 juillet 2018

Heures événement  
09:10 - 10:40 Exposés SDA2 (Amphi E 0.1)  
09:10 - 09:50 › N-complétude dans les réseaux d'automates - Florian Bridoux, Laboratoire dÍnformatique et Systèmes  
09:50 - 10:40 › Discrétisations d'applications linéaires - Pierre-Antoine Guiheneuf, Institut de Mathématiques de Jussieu - Paris Rive Gauche  
10:40 - 11:00 Pause café (Amphi E 0.1)  
11:00 - 12:30 Exposés SDA2 (Amphi E 0.1)  
11:00 - 11:40 › Points apériodiques dans les espaces de pavage bidimensionnels - Benjamin Hellouin de Menibus, Laboratoire de Recherche en Informatique  
11:40 - 12:30 › On an infinitary extension of the Graham-Rothschild Parameter Sets Theorem - Luca Zamboni, Institut Camille Jordan  
12:30 - 13:30 Déjeuner au restaurant universitaire