Précédent : Autres enseignements Remonter : Diffusion de résultats Suivant : Références
Précédent : Autres enseignements
Remonter : Diffusion de résultats Suivant :
Références
Xavier Leroy, Didier Rémy et François Rouaix ont participé au congrès Principles of Programming Languages et à l'atelier satellite Foundations of Object-Oriented Languages (San Diego, janvier 1998). François Rouaix a présenté à POPL son travail sur la sécurité des applets en collaboration avec Xavier Leroy [[10]].
Xavier Leroy, François Pessaux, François Pottier et Didier Rémy ont participé au congrès International Conference on Functional Programming, ainsi qu'à l'atelier satellite ML and its Applications. François Pottier a présenté ses travaux les plus récents [[13]] lors de la conférence ICFP. François Pessaux a présenté au ML workshop un travail démontrant l'utilité et l'adéquation d'un langage comme Objective-Caml pour la réalisation de graphisme interactifs en 3D [[12]]. Cette présentation a été faite lors du Workshop ML.
Xavier Leroy a donné un tutoriel sur la compilation des langages fonctionnels et à objets au congrès Programming Language Design and Implementation (Montréal, juin 1998).
Didier Rémy a participé à la conférence ESOP (European Symposium On Programming) où il a présenté ses travaux sur le rapprochement des classes et des objets [14].
Xavier Leroy, Michel Mauny, François Pessaux et Didier Rémy ont participé à la réunion du groupe de travail Esprit Applied Semantics et au congrès PLILP/ALP (Pise, septembre 1998). Xavier Leroy, François Pessaux et Didier Rémy ont chacun présenté un exposé au groupe de travail Esprit.
Didier Rémy a participé à la conférence CONCUR à Nice, aux séminaires associés High-level Concurrent Languages et à la réunion du projet européen CONFER (en collaboration avec le projet Para). Il a présenté ses travaux récents avec Cédric Fournet (projet Para), Cosimo Laneve (Université de Bologne) et Luc Maranget (projet Para) sur les objets concurrents.
François Rouaix a participé à la conférence WWW7 (Brisbane, Australie, 14-18 avril 1998) dont il était membre du comité de programme.
François Rouaix et Pierre Weis ont participé aux JFLA qui se sont tenues au lac de Côme en Italie.
Michel Mauny a participé au CARI 98, à Dakar, où il a animé une table ronde sur la Sécurité Informatique, et où il a organisé un tutoriel précédant CARI sur ce thème.
François Rouaix a participé au cours CIMPA Objets et Réseaux, à Hanoï, Vietnam (31 août - 11 septembre 1998) où il a donné un cours sur les bases du réseau Internet, et sur la sécurité du réseau et du code mobile.
Xavier Leroy a été invité au groupe de travail IFIP 2.8 - programmation fonctionnelle (Portland, mars 1998) et y a présenté son travail commun avec François Pessaux sur l'analyse des exceptions.
Pascal Cuoq a participé au Workshop on Synchronous Programming qui s'est déroulé du 7 au 11 décembre à Gandía, en Espagne.
Xavier Leroy a participé au workshop Types in Compilation (Kyoto, mars 1998) et y a donné un tutoriel sur la compilation des langages fonctionnels. À cette occasion, il a rendu visite à Atsushi Ohori et Jacques Garrigue, de l'université de Kyoto.
Xavier Leroy a présenté un exposé invité sur la sécurité des applets à l'atelier Declarative Languages APPIA-GULP-PRODE (La Coruña, juillet 1998).
Michel Mauny a participé au workshop MFPS qui s'est déroulé à Londres en mai 1998 et où il a été invité à donner un exposé durant une session spéciale dédiée à Peter Landin. Dans cet exposé, il a retracé l'historique du langage Caml.
Didier Rémy a participé au séminaire à Dagstuhl intitulé The semantic Challenge of Object-Oriented Programming.
François Rouaix a présenté un exposé Moteurs de recherche sur le Web et traitement automatique de la langue naturelle (TALN) à la journée TALN organisée par l'ATALA, le 21 mars 1998.
Michel Mauny s'est rendu à Manchester en janvier 1998 afin de participer à une réunion du comité de normalisation ASN.1.