Section: Dissemination

Participation in conferences and seminars

Participation in international conferences

POPL: Principles of Programming Languages

(Savannah, USA, january).

Benoît Montagu presented [21] . Xavier Leroy participated in a panel discussion on future trends in programming language research. Damien Doligez, Didier Rémy and Jean-Baptiste Tristan attended.

PLDI: Programming Languages Design and Implementation

(Dublin, Ireland, june)

Jean-Baptiste Tristan presented [24] . Sandrine Blazy and Xavier Leroy attended.

LCTES: Languages, Compilers, and Tools for Embedded Systems

(Dublin, Ireland, june)

Sandrine Blazy attended.

IFIP working group 2.8 “Functional programming”

(Frauenchiemsee, Germany, june).

Xavier Leroy gave a talk on dependently-typed programming. Didier Rémy gave a talk on xMLF [33] .

ICFP: International Conference on Functional Programming

(Edimburgh, Great Britain, september).

Xavier Leroy and Didier Rémy attended.

MLW: ACM workshop on ML and its applications

(Edimburgh, Great Britain, september).

Didier Rémy participated in a panel discussion on the future of ML. Xavier Leroy attended.

Participation in national conferences

AFADL: Approches Formelles dans l'Assistance au Développement de Logiciels

(Toulouse, France, january)

Sandrine Blazy attended.

Plenary meeting of the GDR “Génie de la Programmation et du Logiciel”

(Toulouse, France, january)

Xavier Leroy presented an invited talk on compiler verification. Sandrine Blazy attended.

JFLA: Journées Francophones des Langages Applicatifs

(Saint-Quentin sur Isère, France, February).

Damien Doligez and Nicolas Pouillard attended.

OCaml users's meeting

(Grenoble, France, february)

Xavier Leroy gave the opening talk. Xavier Clerc, Damien Doligez and Nicolas Pouillard attended.

Working group “Langages, types et preuves” of the GDR GPL

(Créteil, France, october)

Benoît Montagu gave a presentation on first-class modules. François Pottier gave a presentation on System  with recursive kinds. Didier Rémy attended.

Open World Forum

(Paris, France, october)

Roberto Di Cosmo gave a talk on the Mancoosi project.

FOSSA: Free Open Source Software Academia Conference

(Grenoble, France, november)

Roberto Di Cosmo gave a talk on “Mancoosi: helping communities build better packages”.

Invitations and participation in seminars

Sandrine Blazy gave a talk about the CompCert memory model at the LIFO seminar (Orléans, january), a talk about the Clight formal semantics at the 68NQRT seminar (Rennes, march) and a talk about formal verification of register allocation at the LABRI seminar (Bordeaux, march).

Sandrine Blazy was invited to present the results of the CompCert project to the Comité scientifique sectoriel STIC of ANR (Paris, may).

Xavier Leroy was invited to speak at the Morgenstern colloquium of INRIA Sophia-Antipolis (october 2009).

Nicolas Pouillard gave a presentation at the Computational Applications of Nominal Sets seminar, Cambridge University.

Participation in summer schools

Tahina Ramananandro participated in the École des Jeunes Chercheurs en Programmation (EJCP) summer school (Dinard and Rennes, France, june 2009).