Participation aux manifestations

POPL

Xavier Leroy, François Rouaix et Pierre Weis ont participé au congrès Principles of Programming Languages (San Francisco, 22--25 janvier 1995). Xavier Leroy y a présenté son article sur les foncteurs applicatifs [23]. Pierre Weis y a présenté son travail sur le polymorphisme extensionnel [18].

FPCA

Didier Rémy a participé à la conférence Functional Programming and Computer Architecture en juin à San Diego où il a présenté ses travaux sur la manipulation du contrôle dans les langages fonctionnels réalisés en commun avec Carl Gunter et John Riecke [19]. À cette occasion, il a également rendu visite à l'équipe de Dave MacQueen aux laboratoires AT&T, New Jersey où il a exposé ses travaux en commun avec Rowan Davies sur l'ajout d'objets à ML.

SAS

Du 24 au 27 Septembre 1995, Pierre Weis s'est rendu au congrès Static Analysis Symposium qui s'est tenu à Glasgow en Écosse. Il y a présenté un article écrit en collaboration avec Manuel Serrano, qui décrit les optimisations utilisées dans le compilateur Bigloo [32].

PSLS

Christian Queinnec a participé au colloque Parallel Symbolic Languages and Systems, qu'il a co-organisé, et y a présenté [29].

Reals

Valérie Ménissier-Morain a présenté ses travaux [26] sur l'arithmétique réelle en précision arbitraire lors de la première conférence sur les nombres réels et les ordinateurs (Saint-Étienne, 4-5-6 avril 1995).

Web conference

François Rouaix a assisté à la quatrième conférence sur le World Wide Web (Boston, 11--15 décembre 1995), et y a proposé une démonstration du navigateur Web MMM.

IWMM

Benjamin Goldberg était dans le comité de programme de la conférence International Workshop on Memory Management et y a assisté. Christian Queinnec y a aussi participé.

SCCC

Patrick Parot a participé à la conférence International Conference of the Chilean Computer Science Society, où il a présenté ses travaux [28].

Advances in Type Systems for Computing

Xavier Leroy, François Pottier, Didier Rémy et François Rouaix ont participé à l'atelier Advances in Type Systems for Computing organisé par l'Institut Newton à Cambridge (Grande-Bretagne) en août. François Pottier y a réalisé une présentation informelle de ses travaux. Didier Rémy y a présenté ses travaux sur le typage de la concatenation dans un système de typage avec contraintes [46,47]. François Rouaix y a présenté ses travaux (en collaboration avec Pierre Weis) sur le polymorphisme extensionnel et les langages à objets.

High-level concurrent languages

Didier Rémy a participé à cet atelier, organisé par l'Institut Newton au mois d'octobre.

Int. Workshop on WWW Authoring and Integration Tools

Xavier Leroy a présenté les résultats d'une expérience de conversion automatique vers HTML à cet atelier, organisé à Rocquencourt en février.

JFLA

La majeure partie de l'équipe a participé aux Journées Francophones des Langages Applicatifs qui se sont déroulées à Bois d'Amont (Jura) fin janvier. Patrick Parot y a présenté son travail [27].

Journées du GDR Programmation

La rencontre annuelle du GDR Programmation a eu lieu en novembre à Grenoble. Xavier Leroy, François Pottier, Christian Queinnec, François Rouaix et Émilie Sayag y ont présenté leurs travaux [41,45,29,48,49].