Séminaire "Automates": période 06-07

• 15-06-2007
• Rodrigo de Souza
• (ENST)
• Le revêtement lexicographique

• 08-06-2007
• Julien Brusten
• (Institut Montefiore, Université de Liège)
• Une généralisation du théorème de Cobham aux automates sur nombres réels

• 01-06-2007
• Boris Adamczewski
• (Institut Camille Jordan (CNRS & Lyon 1))
• Séries formelles de Hahn et automates finis.

• 25-05-2007
• Séverine Fratani
• (LIAFA)
• La théorie du successeur étendue par plusieurs prédicats

• 18-05-2007
• pas de séminaire: ascension

• 11-05-2007
• Peter J. Grabner
• (TU Graz)
• Redundant numeration systems and their application in cryptography

• 04-05-2007
• Laura Chaubard
• (LIAFA)
• Soutenance de thèse de Laura Chaubard

• 27-04-2007
• Didier Caucal
• (Institut Gaspard-Monge)
• Path algorithms on regular graphs

• 20-04-2007
• Pas de séminaire (vacances)

• 13-04-2007
• Pas de séminaire (vacances)

• 06-04-2007
• Pascal Weil
• (LaBRI (Université de Bordeaux, CNRS))
• Théorie algébrique des langages reconnaissables d'arbres

• 30-03-2007
• Arnaud Carayol
• (RWTH Aachen)
• Graphes des automates à piles d'ordre supérieur

• 23-03-2007
• Jacques Justin
• Mots épisturmiens, vue d'ensemble

• 09-03-2007
• Tristan Tomala
• (CEREMADE (Univ. Paris Dauphine))
• Automates, Rationalité et Jeux Répétés

• 02-03-2007
• Thomas Colcombet
• (IRISA)
• Sur une Extension des Expressions Omega-Régulières

• 23-02-2007
• Benedikt Bollig
• (LSV)
• Muller Message-Passing Automata and Logics

• 16-02-2007
• Christian Choffrut
• (LIAFA)
• Décider si une relation définie dans la logique de Presburger peut être définie dans dans certaines logiques plus faibles.

• 09-02-2007
• Christiane Frougny
• (LIAFA)
• Sur les nombres univoques

• 02-02-2007
• Pas de séminaire (réunion GDR Informatique Mathématique)

• 26-01-2007
• Julien Bernat
• (Institut de Mathématiques de Luminy)
• Langages substitutifs et paires équilibrées irréductibles

• 19-01-2007
• Lucian Ilie
• (Department of Computer Science, University of Western Ontario)
• Combinatorial Complexity of Strings

• 12-01-2007
• Michel Rigo
• (Université de Liège)
• Représentations des nombres réels dans un système de numération abstrait

• 15-12-2006
• Hugo Gimbert
• Soutenance de thèse

• 08-12-2006
• Thierry Cachat
• (LIAFA)
• Les automates d'arbres facilitent la théorie des ordinaux

• 01-12-2006
• Thomas Fernique
• (LIRMM)
• Généralisations de Mots Sturmiens

• 24-11-2006
• Mathias Samuelides
• (LIAFA)
• Automates d'abres avec jetons

• 17-11-2006
• Doctorants de l`équipe automates et associés
• (LIAFA et ENST)
• Séance spéciale doctorant(e)s

• 10-11-2006
• Jean Mairesse
• (LIAFA)
• Soutenance d'habilitation à diriger des recherches

• 03-11-2006
• Sylvain Lombardy
• (Institut Gaspard-Monge)
• Sur la taille de l'automate universel

• 27-10-2006
• Wieslaw Zielonka
• (LIAFA)
• jeux infinis comme une limite de jeux finis

• 20-10-2006
• Christophe Morvan
• (IGM & IRISA)
• Sur les arbres rationnels

• 13-10-2006
• Vince Bárány
• (RWTH Aachen)
• A Hierarchy of Automatic $omega$-Words having a Decidable MSO Theory

• 06-10-2006
• Jean Berstel
• (Institut Gaspard-Monge)
• Premières propriétés des arbres sturmiens