Projet Protheo

previous up next contents
Précédent : Actions régionales, nationales et internationales Remonter : Projet PROTHEO, Contraintes, Déduction Automatique Suivant : Références

Diffusion des résultats

Animation de la communauté scientifique

On trouvera ci-dessous la liste des responsabilités assumées par les membres du projet.

$\bullet$ Eric Domenjoud : membre du conseil de laboratoire du CRIN, de la COMIN (jusqu'en septembre 1997), du Comité d'Hygiène et de Sécurité du Loria et du groupe de réflexion sur l'articulation des moyens informatiques de la faculté des sciences de l'UHP-Nancy 1.

$\bullet$ Isabelle Gnaedig : chargée de Mission à la Communication pour l'INRIA Lorraine.

$\bullet$ Claude Kirchner :
- membre de la Commission d'Évaluation de l'INRIA, membre du comité des projets de l'INRIA Lorraine (président depuis octobre 1997),
- membre de la commission de spécialistes (27ème section) des universités de Nancy,
- membre du comité scientifique du LIP6,
- président du comité d'organisation des conférences RTA (Rewriting Techniques and Applications) (jusqu'à avril 1997), et membre du comité d'organisation de la conférence LICS (Logic in Computer Science) jusqu'à juin 1997,
- membre des comités de programme des conférences LICS'97 et CP'97 (Constraint Programming), membre des comités éditoriaux des journaux : Journal of Automated Reasoning, Journal of Symbolic Computation, Journal of Logic Programming et Journal of the Egyptian Mathematical Society.

$\bullet$ Hélène Kirchner :
- responsable de l'axe LPCA (Logiques, Preuves, Contraintes et Algorithmes), membre de la Commission Scientifique du CRIN, responsable du Comité des Bourses de l'INRIA-Lorraine, membre du Comité des Projets de l'INRIA-Lorraine,
- membre du Comité éditorial de la revue Annals of Mathematics and Artificial Intelligence, éditeur invité de Theoretical Computer Science, membre des comités de programme des conférences RTA'97, CAAP'97, MFCS'97,
- responsable du groupe Demotheo du GDR Programmation et responsable du groupe Déduction et Calcul Formel du GDR/PRC AMI,
- membre du groupe IFIP WG 1.3 (Foundations of Systems Specifications),
- responsable du Tools Task Group of CoFI (Common Framework Initiative for Algebraic Specifications),
- membre du groupe d'experts GE4 Informatique du MENESR, membre du CA de SPECIF.

$\bullet$ Michaël Rusinowitch :
- président du comité des projets de l'INRIA-Lorraine de janvier à septembre 1997,
- responsable-adjoint du DEA Informatique de Nancy,
- membre du conseil de laboratoire du CRIN et du Département de Formation Doctorale,
- membre des comités de programme de la conférence CADE-14, des Journées Francophones de Programmation Logique, et du Workshop on First-Order Theorem-Proving.

$\bullet$ Hélène Kirchner et Bernhard Gramlich ont organisé le workshop Strategies in Automated Deduction lors de CADE-14, Townsville, Australie (juillet 1997).

Enseignement universitaire

- Plusieurs membres du projet sont intervenus dans le cadre du DEA d'Informatique de l'Université Henri Poincaré - Nancy 1 :
Cours de Logique, Michaël Rusinowitch.
Cours de Déduction et Programmation Logique avec Contraintes, Hélène et Claude Kirchner.

- Adel Bouhoula a organisé et encadré des travaux dirigés et travaux pratiques autour de dans le cadre du module Spécification de programmes, Spécification de logiciels de l'ESIAL (3ème année) et du DESS d'informatique de l'Université Henri Poincaré - Nancy 1.
Il a donné un cours intitulé Preuves Automatiques par Récurrence à l'École des jeunes chercheurs du GDR Programmation, Nice (mars 1997), et un cours intitulé Validation Automatique de Programmes dans le cadre du DEA d'Informatique de l'Université de Tunis.

- Claude Kirchner a donné un cours intitulé Réécriture et Calcul équationnel à l'École des jeunes chercheurs du GDR Programmation, Nice (mars 1997).

- Michaël Rusinowitch est intervenu dans le DEA Sémantique, Preuve et Programmation de l'Université Paris 7.

Le projet comprend également des Moniteurs, ATERs et Maîtres de Conférences qui enseignent dans différentes universités de l'académie dans le cadre normal de leurs activités.

Participation à des colloques, séminaires, invitations

Colloques, tutoriels et séminaires invités

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:

- Première et deuxième journées FORMA, Paris (3 février et 9 juin 1997) : Horatiu Cirstea, Sorin Stratulat.

- Workshop CONSOLE (Constraint Solving in Europe), Lille (7-8 mars 1997) : Farid Ajili, Denis Lugiez, Christophe Ringeissen.

- School on Verification of Infinite State Systems, Grenoble (23-25 mars 1997) : Bernhard Gramlich, Denis Lugiez, Michaël Rusinowitch.

- TAPSOFT, Lille (14-18 avril 1997) : Hélène Kirchner.
- Tableaux'97, Pont-à-Mousson (13-16 mai 1997) : Laurent Vigneron.

- RTA'97, Sitjes, Espagne (2-4 juin 1997) : Bernhard Gramlich, Hélène Kirchner, Michaël Rusinowitch, Rakesh Verma.

- CADE-14, Townsville, Australie (13-17 juillet 1997) : Bernhard Gramlich, Claude Kirchner, Hélène Kirchner.

- Workshop ASF+SDF'97, Amsterdam (25-26 septembre 1997) : Carlos Castro, Horatiu Cirstea, Hélène Kirchner, Christophe Ringeissen.

- Workshop on Tree Automata, Dagstuhl (octobre 1997) : Michaël Rusinowitch.

- Workshop of the ERCIM Working Group on Constraints, Linz, Autriche (27-28 octobre 1997) : Carlos Castro, Claude Kirchner, Jian Yang Zhou.

- CP'97, Linz, Autriche (29 octobre - 1 novembre 1997) : Carlos Castro, Claude Kirchner, Jian Yang Zhou.

- Journées du PRC-GDR Programmation, Rennes (12-14 novembre 1997) : Christophe Ringeissen, Michaël Rusinowitch.

Organisation et participation à des séminaires de groupes de travail :

- Journée AMI, groupe Déduction et Calcul Formel, Paris (13 décembre 1996), Paris (13 juin 1997) : Hélène Kirchner.

- CoFI, réunion du groupe TOOLS, Paris (18-19 janvier 1997), Paris (13 avril 97), Amsterdam (27 septembre 1997) : Hélène Kirchner.

- Participation aux séminaires d'évaluation du programme 2a (Sophia Antipolis, 5-6 mars 1997) et du programme 2b (Sophia Antipolis, 13 octobre 1997) : Claude Kirchner.

- Participation au séminaire Programmation par Contraintes, Paris (13-14 mars 1997) : Farid Ajili, Carlos Castro.

Invitations à donner un séminaire :

- Faculté des Sciences de Tunis (janvier 1997) : Adel Bouhoula.

- Université de Clarkson, NY (février 1997) : Christelle Scharff.

- Université de Nantes (13 février 1997) : Michaël Rusinowitch.

- CRIL, Lens (20 mars 1997) : Laurent Vigneron.

- Groupe BIP, Paris (13 mai 1997), présentation du logiciel : Adel Bouhoula ; présentation du projet Protheo et d' : Hélène Kirchner.

- IRIN, Nantes (28 mai 1997) : Laurent Vigneron.

- BRICS, Université de Aarhus, Danemark (juin 1997), Strategies in : Hélène Kirchner.

- GDR-PRC AMI, Marseille (1-5 septembre 1997), présentation du groupe Déduction et Calcul Formel : Hélène Kirchner.

- ASF+SDF 97, Amsterdam (septembre 1997) : Claude Kirchner.

- Université Technique de Vienne, Autriche (octobre 1997) : Bernhard Gramlich.

- CTI CNET, Paris (octobre 1997) : Claude Kirchner, Michaël Rusinowitch, Sorin Stratulat.

Séjours de chercheurs

- Adel Bouhoula a effectué un séjour de deux semaines au MRI MITSUBISHI RESEARCH INSTITUTE, INC, Tokyo, Japon (7-20 décembre 1997) pour étudier les possibilités d'utiliser pour des applications spécifiées en CafeOBJ.

- Bernhard Gramlich a séjourné 2 semaines au JAIST (Japan Advanced Institute of Science and Technology), Tatsunokuchi, Japon (1-15 mars 1997), pour travailler avec Yoshihito Toyama sur des problèmes de modularité et des critères de confluence pour des systèmes de réécriture.

- Hélène Kirchner a effectué un séjour de 4 jours à l'Université d'Aarhus, Danemark (19-22 juin 1997), pour travailler avec Peter Mosses sur une méthode de spécification formelle combinant spécifications algébriques et théorie des ensembles.

- Christelle Scharff a séjourné 1 mois à l'Université de Clarkson, NY (7 février - 10 mars 1997), pour travailler avec Christopher Lynch sur les aspects simplification et complétion basique.

- Laurent Vigneron a effectué un séjour de 3 semaines à l'Université de l'État de New York à Stony Brook (19 juillet - 11 août 1997), pour travailler avec A. Wasilewska à l'étude des congruences dans des espaces topologiques.

Jurys de thèses

Nous avons pris part aux jurys de thèses et d'habilitations suivants :

- Adel Bouhoula : Narjès Berregeb (Nancy).

- Bernhard Gramlich : Thomas Arts (Utrecht).

- Claude Kirchner : Gilles Richard (habilitation, Orléans), Ana Paula Tomas (Porto), Slimane Merzouk (Nancy), Iliès Alouini (Nancy).

- Hélène Kirchner : Frédéric Benhamou (habilitation, Orléans), Florence Cury (Doctorat de Mathématiques, Paris 7), Claude Huchet (Nice).

- Denis Lugiez : Daniel Briaud (Nancy).

- Michaël Rusinowitch : Narjès Berregeb (Nancy), Uwe Waldmann (MPI, Sarrebruck), Hélène Touzet (Nancy), Nicolas Peltier(Grenoble), Pierre Marquis (habilitation, Lens).


previous up next contents Précédent : Actions régionales, nationales et internationales Remonter : Projet PROTHEO, Contraintes, Déduction Automatique Suivant : Références