Cette réunion est consacrée aux machines de Mealy, aux (semi)groupes d'automate, aux problèmes de décision et à la génération aléatoire. Les exposés invités fourniront un contexte général pour des discussions.
La réunion conclut le projet de recherche MealyM financé par l'ANR et réalisé entre 2013 et 2017.
Les exposés auront lieu dans l'amphi Alan Turing, bâtiment Sophie Germain, Univ Paris Diderot (place Aurélie Nemours, Paris 13).
Orateurs invités
Nathalie Aubrun (ENS Lyon)
Laurent Bartholdi (ENS Paris et Université Georg-August à Göttingen)
Tara Brough (Université de Lisbonne)
Alan J. Cain (Université de Lisbonne)
Daniele D'Angeli (Université de Graz)
Martin Delacourt (Université d'Orléans)
Francesca Fiorenzi (Université Paris-Sud)
Pierre Gillibert (Université de Valparaíso)
Delaram Kahrobaei (Université de la Ville de New York)
Markus Lohrey (Université de Siegen)
Jean Mairesse (CNRS et Université Paris 6)
Irène Marcovici (Université de Lorraine)
Cyril Nicaud (Université Paris Est Marne-la-Vallée)
Nicolas Ollinger (Université d'Orléans)
Dmytro Savchuk (Université de Floride Sud)
Planning
lundi 10 juillet: exposé de L. Bartholdi et soutenance d'habilitation de M. Picantin
mardi 11 juillet: ouverture par I. Klimann, exposés invités et cocktail
mercredi 12 juillet: exposés invités et fin d'après-midi libre
jeudi 13 juillet: exposés invités et soutenance de thèse de Th. Godin
