Lifo - Laboratoire d'Informatique Fondamentale d'orléans Université d'Orléans université d'Orléans ENSI Bourges ENSI Bourges

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : GDR ALP : Groupe de travail SLOVO

English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



GDR ALP : Groupe de travail SLOVO : Sémantiques Logiques et Opérationnelles, Vérification et Optimisation (SLOVO)

Participants

Siva ANANTHARAMAN

Gérard FERRAND

Gaétan HAINS

Sébastien LIMET

Lionel MARTIN

Pierre RETY

Alexandre TESSIER

Christel VRAIN

Page web de l'action

http://www.univ-orleans.fr/SCIENCES/LIFO/Projects/GDR/Slovo/slovo.html