APPEL A PARTICIPATION

Première rencontre du groupe de travail
LODEC du GDR-ALP
(Langages et Outils pour la Déduction sous Contraintes)

LIFO, Orléans, le jeudi 10 et le vendredi 11 Décembre 1998





COMITE DE PROGRAMME

S. Anantharaman
P. Codognet
A. Bockmayr
J. Chassin de Kergommeaux      
J.-L. Giavitto
G. Hains 		(LIFO, Orléans)
(INRIA, Rocquencourt)
(LORIA, Nancy)
(IMAG, Grenoble)
(LRI, Orsay)
(LIFO, Orléans)


PROGRAMME DE LA RENCONTRE


PARTICIPATION

Toute personne souhaitant participer à ces journées (avec ou sans l'intention d'y faire un exposé) est priée de prendre contact avec l'un des deux organisateurs suivants :

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

Les renseignements de tout ordre concernant ces journées se trouvent sous l'url :

http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/LODEC/

Présentation du projet LODEC
Les thèmes d'activité suivants 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

LODEC se propose d'être un lieu d'échanges à deux sens entre chercheurs provenant d'horizons variés mais dont les approches sont appelées à se compléter fructueusement. Chacun peut à la fois y apporter des méthodes et/ou y trouver des solutions.

Le groupe se rattache au pôle "contraintes" du GDR-ALP mais ses travaux peuvent aussi intéresser, par exemple, des membres des pôles "spécification-test-preuve" et "algorithmique".


Retour à la page précédente