Institut Polytechnique de Bordeaux Bordeaux Institute of Technology

Sylvain Lombardy

LaBRI ENSEIRB-MATMECA
351, cours de la Libération
33405 Talence Cedex
FRANCE
1 avenue du Dr Albert Schweitzer
B.P. 99
33405 Talence Cedex
FRANCE
Département Méthodes et modèles formels
Bureau 254
Téléphone : 05 40 00 69 20
Courriel : Sylvain.Lombardylabri.fr
Formal Methods and Models
Office : 254
Phone : (33) 5 40 00 69 20
Mail : Sylvain.Lombardylabri.fr
Département informatique
Bureau S213
Téléphone : 05 56 84 44 26
Courriel : Sylvain.Lombardyenseirb-matmeca.fr
Computer science department
Office : S213
Phone : (33) 5 56 84 44 26
Mail : Sylvain.Lombardyenseirb-matmeca.fr



The Vaucanson Project :
  • Vaucanson-G : Un ensemble de macros pour dessiner des automates en LaTeX.
  • Awali : Une plateforme pour manipuler des automates.
  • Vaucanson-G : Package of macros for drawing automata with LaTeX.
  • Awali : A finite state machine manipulation platform.