Seconde rencontre du groupe de travail
LODEC du GDR-ALP
(Langages et Outils pour la
Déduction sous Contraintes)
IHP, Paris, vendredi le 3
Décembre 1999
Liste des participants
- Siva Anantharaman (LIFO, Orléans)
- Françoise Bellegarde (LIFC, Besançon)
- Philippe Codognet (LIP6, Paris)
- Pierre Deransart (INRIA, Rocquencourt)
- Philippe Devienne (LIFL, Lille)
- François Fages (INRIA, Rocquencourt)
- Maribel Fernandez (LIENS, Paris)
- Gérard Ferrand (LIFO, Orléans)
- Jean-Louis Giavitto (LRI, Orsay)
- Laurent Granvilliers (IRIN, Nantes)
- Zineb Habbas (GIFM, Metz)
- Gaétan Hains (LIFO, Orléans)
- Francis Klay (France Télécom, Lannion)
- Frédéric Loulergue (LIFO, Orléans)
- Julien Mallet (IRISA, Rennes)
- Olivier Michel (LAMI, Evry)
- Laurent Py (LIFC, Besançon)
- Frédéric Saubion (LERIA, Angers)
- Daniel Singer (GIFM, Metz)
- Laurent Vigneron (LORIA, Nancy)
- Christel Vrain (LIFO, Orléans)
Programme de la rencontre
Participation
Toute personne souhaitant participer à ces journées
est priée de prendre contact avec l'un des deux organisateurs :
Présentation du projet LODEC
Les thèmes d'activité du projet LODEC ont été définis dans
le texte de mars 1998 :
- Optimisation des solveurs de contraintes
- Contraintes ensemblistes et synthèse de programmes
- Optimisation de l'apprentissage symbolique et de l'extraction de
connaissances
- Description de stratégies de réécritures, de stratégies génétiques
- Parallélisation des outils de déduction
- Approches de diagnostic pour programmes logiques contraints
- Programmation parallèle et concurrente à l'aide de langages logiques
ou fonctionnels
|
Retour à la
page LODEC
|