Précédent : Actions d'enseignement Remonter : Diffusion des résultats Suivant : Conférences invitéestutoriels, séminaires

Participation à des colloques, conférences, manifestations diverses

Mis à part les congrès et colloques où furent présentés nos travaux, nous avons participé au cours de l'année aux évènements suivants :

Séminaire de l'AFPL et du groupe de travail AFCET Programmation Logique sur les langages de programmation à contraintes concurrents, Paris, 25 janvier 96, Carlos Castro

Séminaire d'évaluation du programme 5 de l'INRIA, Dourdan, 22-23 février 96, Claude Kirchner

FROCOS'96, Munich, mars 96, Hélène Kirchner

CAAP-ESOP-CC'96, Linköping, Suède, avril 96, Hélène Kirchner

Journées Françaises de Programmation Logique et Programmation à Contraintes, Clermont-Ferrand, 5-7 juin 96, Carlos Castro

FLOCS, 27 juillet-3 août 96, Bernhard Gramlich, Claude Kirchner

First International Workshop on Rewriting Logic and its Applications, septembre 96, Asilomar, Californie, Adel Bouhoula

LACL'96, Nancy, 23-25 septembre 96, Hélène Kirchner

Séminaire d'évaluation du programme 3b de l'INRIA, 24-25 octobre 96, Claude Kirchner

10ème anniversaire du LFCS, Edinburgh, 9 novembre 96, Hélène Kirchner

Groupe de conception du projet européen COFI (Common Framework Initiative), Edinburgh, 10-12 novembre 96, Hélène Kirchner

Journée d'évaluation du GDR Programmation (démonstration du logiciel SPIKE), Michaël Rusinowitch

Journées du GDR Programmation (démonstration du logiciel daTac), Orléans, novembre 96, Laurent Vigneron