Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

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

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
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

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