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 :

Siva ANANTHARAMAN      
Gaétan HAINS
{ sivaNO_SP4M@lifo.univ-orleans.fr }
{ ghainsNO_SP4M@lifo.univ-orleans.fr }

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