Projet :
PROTHEO
Précédent : Enseignement universitaire
Remonter : Diffusion de résultats Suivant :
Jurys de
thèses
Sous-sections
Participation à des colloques, séminaires, invitations
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.
- -
- 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.
- -
- 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.
Précédent : Enseignement universitaire
Remonter : Diffusion de résultats Suivant :
Jurys de
thèses