- Renseignements pratiques
- Enseignement
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
Gérard FERRAND
Gaétan HAINS
Lionel MARTIN
Alexandre TESSIER
Page web de l'action
https://www.univ-orleans.fr/SCIENCES/LIFO/Projects/GDR/Slovo/slovo.html
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 