Projet : PROTHEO

previous up next contents
Précédent : Enseignement universitaire Remonter : Diffusion de résultats Suivant : Jurys de thèses


Sous-sections


   
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é aux événements suivants : RTA'98, ETAPS'98, Unif'98, CADE-15, WRLA'98, CORS/INFORMS Spring 98 Meeting, premier workshop CNRS-Université d'Urbana Champaign.

Dans le cadre des actions nationales, nous avons participé à des Journées du GDR/PRC ALP, ainsi qu'aux Journées FORMA. Dans le cadre de groupes de travail européens, nous avons participé à des réunions de travail CoFI, CONSOLE, CCL et ERCIM Working Group on Constraints.

Conférences invitées et séminaires

 
-
Cafe Symposium, Numazu, Japon (avril 1998) : Adel Bouhoula et Hélène Kirchner.
-
Waseda University, Tokyo (avril 1998) : Adel Bouhoula.
-
Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan (avril 1998), A functional view of rewriting and strategies for a semantics of ELAN : Claude Kirchner.
-
Faculté de Sciences de Tunis, (mai 1998) : Adel Bouhoula.
-
Research Center on Informatics, CWI, Amsterdam, Pays Bas (juin 1998), Constraint Solver = Rewrite Rules + Strategies : Carlos Castro.
-
Clarkson University, Potsdam, New York, USA (septembre 1998), Constraint Solver = Rewrite Rules + Strategies : Carlos Castro.
-
Fourth International Conference on Principles and Practice of Constraint Programming CP'98, Pise (octobre 1998), Branch-and-Infer - A unifying framework for integer linear programming and finite domain constraint programming : Alexander Bockmayr
-
Université de Montréal (octobre 1998) : Adel Bouhoula.
-
FroCos'98, Amsterdam (octobre 1998) : Claude Kirchner.
-
Séminaire d'Informatique de Metz (novembre 1998) Pseudo-Boolean Constraint Logic Programming: From Theory to Practice : Alexander Bockmayr.
-
Séminaire du LIENS, Paris (decembre 1998) : Nicolas Hermann.
-
Asian'98, Manille (décembre 1998) : Claude Kirchner.
-
Séminaire XEROX, Grenoble (décembre 1998) : Hélène Kirchner.
-
Laboratoire de Mathématiques Discrètes, Université Lyon 1 (décembre 1998), Études d'algèbres approximantes avec daTac: Laurent Vigneron.

Séjours de chercheurs

-
Adel Bouhoula a effectué une visite de recherche au Mitsubishi Research Institute (Tokyo, Japon) du 20 au 25 Avril 1998, pour étudier les possibilités d'utiliser SPIKE dans des applications en cours de spécification et de validation par Mitsubishi.
-
Carlos Castro a passé 1 mois au CWI à Amsterdam (juin 1998) pour travailler avec Eric Monfroy sur la collaboration de solveurs.
-
Nicolas Hermann a passé 1 mois à l'Université Technique de Vienne, dans l'équipe d'Alexander Leitsch, où il a poursuivi la collaboration avec Gernot Salzer.
-
Pierre-Etienne Moreau a passé 1 mois au CWI à Amsterdam (1-28 février 1998), où il a travaillé avec Mark Van den Brand sur l'utilisation du compilateur ELAN pour exécuter des spécifications écrites en ASF+SDF.
-
Christophe Ringeissen a passé 3 semaines à l'Université d'Urbana-Champaign (2-24 novembre 1998), où il a poursuivi sa collaboration avec Cesare Tinelli sur le problème de la coopération de procédures de décision pour des mélanges de théories non disjointes.
-
Laurent Vigneron a passé 1 mois (août 1998) au département informatique de l'Université de Stony Brook (NY), pour travailler avec Leo Bachmair et I.V. Ramakrishnan sur le thème de la clôture par congruence, et avec Anita Wasilewska sur le thème de l'étude d'algèbres modales et approximantes.



previous up next contents
Précédent : Enseignement universitaire Remonter : Diffusion de résultats Suivant : Jurys de thèses