Programme
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 |
|
|