Groupe Langages et Outils pour la Déduction sous Contraintes
Description du projet (ps.gz 50 Ko)
Deuxième réunion de travail: journée LODEC'99
Le 3 décembre 1999 à l'IHP, Paris.
Organisateurs : Siva Anantharaman, Gaétan Hains
 |
Lieu de la rencontre:
Institut Henri Poincaré, 11 rue Pierre et Marie Curie, 75005 Paris (près de l'ENS). Plan du quartier |
|
Programme de la rencontre
|
|
Liste des participants
.
|
Première réunion de travail: journées LODEC'98
10 et 11 décembre 1998
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans
Organisateurs : Siva Anantharaman, Gaétan Hains
| Appel à participation et Programme prévisionnel |
| Résumés des Exposés |