LANFOR
GROUPE DE TRAVAIL SUR LES LANGAGES FORMELS
AURON - MARS 1999

Jacques Sakarovitch, conférencier invité, donnera trois exposés didactiques sur le thème :

Revêtements d'automates : une théorie opératoire

VENDREDI 19 MARS

MATIN

-

9H-10H

Jacques SAKAROVITCH (ENST, Paris)

Exposé I : Synchronisation d'automates Postscript des transparents -

Pause café

-

10H20-11H20

Marie-Pierre BÉAL (IGM, Marne-la-Vallée)

Une version "finite state" du théorème de Kraft McMillan - Postscript des transparents - résumé -

(Travail en collaboration avec F. Bassino et D. Perrin)

-

11H20-12H20

Hélène JACQUET (LaBRI, Bordeaux I)

Une introduction à la réécriture de sommets dans les graphes par produit fibré - résumé -

SOIR

-

20H-21H

Olivier CARTON (Institut Gaspard-Monge, Marne-la-Vallée)

Applications asynchrones à fenêtre glissante - Postscript des transparents - résumé

-

21H-22H

Xavier AUGROS (I3S, Nice-Sophia Antipolis)

Des algorithmes pour tester les  -codes  - résumé -

SAMEDI 20 MARS

MATIN

-

9H-10H

Jacques SAKAROVITCH (ENST, Paris)

Exposé II: Uniformisation de relations - Postscript des transparents-

Pause café

-

10H20-11H20

Irène GUESSARIAN (LIAFA, Paris VII)

Le WASP est lineaire (Window-Accumulated Subsequence matching Problem)- Résumé -

(Travail en collaboration avec Luc Boasson, Patrick Cegielski et Yuri Matiyasevich)

-

11H20-12H20

Olivier LY (LaBRI, Bordeaux I)

Homéomorphisme de surfaces équationnelles - Résumé -

SOIR

Table ronde au sujet du LANFOR

DIMANCHE 21 MARS

MATIN

-

9H-10H

Jacques SAKAROVITCH (ENST, Paris)

Expose III : le théorème du Paludier - Postscript des transparents -

Pause café

-

10H20-11H20

Géraud SÉNIZERGUES (LaBRI, Bordeaux I)

T(A) = T(B)? - Résumé -