Diffusion des résultats

Animation de la communauté scientifique

Gérard Ferrand est directeur du LIFO (Laboratoire d'Informatique Fondamentale d'Orléans, EA1637).
Pierre Deransart est Président ré-élu de l'AFPL (Association Française pour la Programmation en Logique). L'INRIA apporte son soutien logistique en assurant une partie du secrétariat administratif, tenu de mai à août 97 par Isabelle Monnin. L'AFPL regroupe les chercheurs francophones travaillant sur la programmation en logique et avec contraintes. L'AFPL est le représentant en France de l'ALP (Association for Logic Programming). Elle organise un séminaire national et une conférence « JFPLC » (Journées Francophones pour la Programmation en Logique et avec Contraintes) et contribue ainsi à la promotion du domaine et l'animation de la communauté scientifique.

Gérard Ferrand a été rapporteur de l'Habilitation à Diriger des Recherches de Philippe Mathieu (Lille 7/1/97).

Philippe Codognet édite un numéro spécial de la revue « Science of Computer Programming » (Elsevier) sur la programmation concurrente avec contraintes, à paraître en 1997, volume 30.

Frédéric Benhamou co-édite avec Pascal Van Hentenryck un numéro spécial de la revue CONSTRAINTS sur les contraintes d'intervalle.

Frédéric Benhamou co-édite avec Siva Anantharaman un numéro spécial de TSI sur la programmation logique et la programmation par contraintes (à paraître).

LOCO a présenté un démonstration du système de programmation par contraintes clp(FD) lors des journées « Science en fête » à l'INRIA - Rocquencourt.

Enseignement universitaire

Frédéric Benhamou, Philippe Codognet, Pierre Deransart et Gérard Ferrand participent à la formation doctorale en Informatique de l'Université d'Orléans et en particulier au DEA.

Frédéric Benhamou participe à la formation doctorale en Informatique de l'Université de Nantes (30 h de cours en DEA).

Frédéric Benhamou ainsi que Gérard Ferrand sont également intervenus dans le cadre du DESS IMOI (Ingéniérie Mathématique et Outils Informatiques) de l'Université d'Orléans pour un cours sur le langage Prolog IV.

Philippe Codognet participe avec François Fages au cours de Programmation Logique avec Contraintes du DEA SPP de l'université de Paris VII pour l'année 1996/97.

Philippe Codognet a été l'organisateur scientifique de l'école INRIA sur la programmation par contraintes, mars 1997 (2 journées, une cinquantaine de participants dont la moitié environ de doctorants).

Participation à des colloques, séminaire, invitations

Philippe Codognet a donné des séminaires à l'université de Pise, à l'université de Padoue, à l'I.M.A.G. de Grenoble, à Xerox Research Center Europe, Grenoble.

Des membres de l'équipe ont participé à des conférences et workshops; on se reportera à la bibliographie pour en avoir la liste.

Précédent : Actions régionales, nationales et internationales Remonter : Projet LOCO, Programmation en LOgique Suivant : Références