Précédent : Jurys de thèse Remonter : Diffusion des résultats Suivant : Conférences invitéestutoriels, cours, etc.

Participation à des colloques

POPL

 Xavier Leroy et Pierre Weis ont assisté au congrès Principles of Programming Languages (St Petersburg, Floride, 21-24 janvier 1996).

ICFP

 François Pottier, Christian Queinnec et Didier Rémy ont participé à la conférence ICFP (International Conference on Functional Programming) qui s'est tenue en mai à Philadelphie.

François Pottier y a exposé ses résultats[10]. A cette occasion, il a également rendu visite à Scott Smith et Valery Trifonov, de l'Université John Hopkins.

Christian Queinnec a présenté [11] à ICFP et a assisté au Scheme Workshop.

Didier Rémy était membre du comité de programme d'ICFP. Il a également assisté à l'atelier FLIC (Functional Languages in the Introductory Computing Curriculum) satellite de la conférence ICFP. À l'occasion de ce voyage, il a rendu visite à Carl Gunter à l'université de Pensylvanie où il a présenté ses travaux avec Jérôme Vouillon sur les objets.

FST-TCS

 Michel Mauny et Émilie Sayag ont participé à la conférence FSTTCS'96 à Hyderabad en Inde. Émilie Sayag y a présenté ses travaux sur la caractérisation du type principal des formes normales dans un système de types intersections.

TPHOL

 Valérie Ménissier-Morain et Catherine Dubois ont présenté leurs travaux sur la preuve de l'algorithme W en Coq lors de la conférence TPHOL'96 fin août à Turku (Finlande).

Reflection 96

 Christian Queinnec s'est rendu à cette conférence (San Francisco, USA) où il y a présenté [13].

Reals

 Valérie Ménissier-Morain a participé à la conférence Reals'96 au début du mois d'avril au CIRM à Marseille.

FOOL

 Didier Rémy et Jérôme Vouillon ont participé à l'atelier FOOL qui s'est tenu en juillet à New Brunswick. Didier Rémy était membre du comité de programme, et Jérôme Vouillon y a présenté les résultats de son travail [14]. Jérôme Vouillon a profité de ce séjour aux États-Unis pour rendre visite à John Riecke aux laboratoires Bells où il a également exposé son travail, et il a assisté à la conférence LICS.

MPR

Christian Queinnec a assisté aux Journées sur les Mémoires Partagées Réparties à Bordeaux où il a présenté son travail sur la bibliothèque DMEROON. [12].

Web Conference

 François Rouaix a participé à la cinquième conférence sur le World Wide Web (Paris, 6-10 mai 1996) où il a présenté son travail[15] sur le navigateur MMM et les applets Caml, et y a proposé une démonstration. Il a également participé au Workshop Programming the Web, ou son travail[29] sur le proxy V6 a été présenté par Bernard Lang.

ALEL

 Michel Mauny a participé au Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models qui s'est tenu à Linköping, au printemps, où il a présenté son travail commun avec Daniel de Rauglaudre [5].

JFLA

 Xavier Leroy et Pierre Weis ont participé aux Journées Francophones des Langages Applicatifs (Val-Morin, Québec, 28-30 janvier 1996). Xavier Leroy y a présenté un article sur le compilateur Caml Special Light.

Journées du GDR

 Environ la moitié de l'équipe a assisté aux Journées du GDR à Orléans. Jérôme Vouillon et François Pessaux y ont présenté leurs travaux.

Précédent : Jurys de thèse Suivant : Conférences invitéestutoriels, cours, etc. Remonter : Diffusion des résultats