Séminaire "Automates": période 03-04

• 25-06-2004/2004-06-25
• Aldo de Luca
• (Universita di Roma La Sapienza)
• Completions in measure of Languages and related combinatorial problems

• 18-06-2004/2004-06-18
• Markus Lorhey
• (université de Stuttgart)
• FO and MSO over hierarchically defined graphs

• 11-06-2004/2004-06-11
• Denis Lugiez
• (LIF-Universite de Provence)
• Des automates aux semilineaires: une solution logique pour les polyhèdres entiers et autres ensembles.

• 04-06-2004/2004-06-04
• Marats Golovkins
• (LIAFA)
• Quantum Automata and Probabilistic Reversible Automata

• 28-05-2004
• Frederique Bassino
• (IGP, marne la vallée)
• Ensembles de Meyer arithmétiques

• 21-05-2004/2004-05-21
• Mikhail Volkov
• (Ural State University (Ekaterinburg, Russie))
• Synchronizing Automata with a Letter of Defect 2

• 14-05-2004/2004-05-14
• Professor Stuart W. Margolis
• (Bar-Ilan University, Ramat-Gan, Israel)
• Irreducible Representations of Finite Monoids, the Rhodes Radical and Formal Language Theory

• 07-05-2004/2004-05-07
• Mikhail Volkov
• (Ural State University (Ekaterinburg, Russie))
• The Pseudovariety of Semigroups of Triangular Matrices over a Finite Field

• 30-04-2004/2004-04-30
• Chloé Rispal
• (Institut Gaspard-Monge, Université de Marne-la-Vallée)
• Complementation d'ensembles rationnels de mots indexés par des ordres linéaires

• 09-04-2004/2004-04-09
• Matthieu Picantin
• (Universités de Caen et Paris 8)
• Transducteurs pour les monoïdes de divisibilité

• 02-04-2004/2004-04-02
• Thomas Colcombet
• (Université de Varsovie)
• Sur les jeux étiquetés sur les arcs et positionellement déterminés

• 26-03-2004/2004-03-26
• Mikolaj Bojanczyk
• (Université de Varsovie)
• Structural properties of tree automata corresponding to some tree logics

• 19-03-2004/2004-03-19
• Dietrich Kuske
• ( Institut für Algebra, Technische Universität Dresden)
• The binary tree with additional numerical predicates

• 12-03-2004/2004-03-12
• Fabien Durand
• (Université de Picardie)
• La dynamique topologique dans les théorèmes de type Cobham

• 05-03-2004/2004-03-05
• Marie-Pierre Béal
• (Institut Gaspard-Monge, Université de Marne-la-Vallée)
• Le graphe syntactique d'un système sofique

• 20-02-2004/2004-02-20
• Eric Tannier
• (Université de Lyon 1 et INRIA)
• Une méthode rapide pour le tri par inversions

• 13-02-2004/2004-02-13
• Luc Segoufin
• (INRIA)
• Active Context-Free games

• 06-02-2004/2004-02-06
• Violetta Lonati
• (Università degli Studi di Milano)
• Local limit distributions in pattern statistics: beyond the Markovian models

• 30-01-2004/2004-01-30
• Jacques Sakarovitch
• (CNRS & ENST)
• Dans quelle mesure les expressions peuvent-elles coder les automates?

• 23-01-2004/2004-01-23
• Christof Loeding
• (LIAFA (postdoc))
• Deterministic Transducers over Infinite Terms

• 16-01-2004/2004-01-16
• Michel Koskas
• ( LaRIA, Université de Picardie)
• Un algorithme de type 'diviser pour régner' de résolution de plus court chemin dans un graphe valué

• 19-12-2003
• Daniel Kirsten
• (Liafa (postdoc))
• Desert Automata and the Star Height Problem

• 19-12-2003/2003-12-19
• Daniel Kirsten
• (LIAFA)
• Titre à préciser

• 12-12-2003/2003-12-12
• Victor Vianu
• (Department of Computer Science and Engineering, U.C. San Diego)
• Titre à préciser

• 05-12-2003/2003-12-05
• Pascal Tesson
• (School of Computer Science, McGill University)
• Complexite de la resolution de systemes d'equations sur des semigroupes finis

• 28-11-2003/2003-11-28
• Erich Graedel
• (RWTH Aachen)
• Positional determinacy of games with infinitely many priorities

• 21-11-2003/2003-11-21
• Flavio D`Alessandro
• (Universita di Roma La Sapienza)
• Free groups of quaternions

• 21-11-2003/2003-11-21
• Tayssir Touili
• (LIAFA)
• Soutenance de thèse de Tayssir Touili: Analyse symbolique de systèmes infinis basée sur les automates:Application à la vérification de systèmes paramétrés et dynamiques.

• 14-11-2003/2003-11-14
• James Martin
• (LIAFA, CNRS)
• Introduction au modele des particules dures

• 07-11-2003/2003-11-07
• Thierry Cachat
• (LSV, ENS Cachan)
• Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games

• 31-10-2003/2003-10-31
• Marc Zeitoun
• (LIAFA, Université paris VII)
• Problème du mot et équations sur monoïdes R-triviaux

• 24-10-2003/2003-10-24
• Ines Klimann
• (LIAFA, Université Paris VII)
• Sur la séquentialité des séries max-plus

• 17-10-2003/2003-10-17
• Jean Berstel
• (Institut Garspard Monge, Laboratoire d'informatique. Université de Marne-la-vallée)
• Opérations qui préservent les langages reconnaissables

• 10-10-2003/2003-10-10
• Petr Ambroz
• (LIAFA, Université Paris 7)
• Arithmetics on number systems with irrational bases

• 03-10-2003/2003-10-03
• Christian Choffrut
• (LIAFA, Université Paris 7)
• Formules 2-CNF insatisfaisables minimales

• 23-09-2003/2003-09-23
• Kousha Etessami
• (Laboratory for Foundations of Computer Science (Edinburgh))
• Analysis of Recursive Game Graphs using Dataflow Equations