Section: Dissemination

Participation in conferences and seminars

Participation in international conferences

• POPL: Principles of Programming Languages (Madrid, Spain, January).

  Xavier Leroy presented [28] . Arthur Charguéraud, François Pottier, Alexandre Pilkiewicz, Nicolas Pouillard, Tahina Ramananandro and Na Xu attended.

• ETAPS: European Joint Conferences on Theory and Practice of Software (Paphos, Cyprus, March).

  Xavier Leroy presented [25] at the Compiler Construction conference.

• IFIP Working Group 2.8 “Functional programming” (Shirahama, Japan, April).

  Didier Rémy participated.

• FLOPS: Functional and Logic Programming Symposium (Sendai, Japan, April).

  Didier Rémy presented [26] .

• FLOC: Federated Logic Conferences (Edinburgh, UK, July 2010).

  Roberto Di Cosmo attended. Damien Doligez attended the IJCAR conference where his co-authored paper [18] was presented, and entered Zenon in the CASC-J5 prover competition hosted by the conference.

• ITP: International Conference on Interactive Theorem Proving (Edinburgh, UK, July).

  Arthur Charguéraud presented [17] .

• CONCUR: International Conference on Concurrency Theory (Paris, France, August).

  Na Xu attended.

• Dagstuhl seminar: Modelling, Controlling and Reasoning About State (Dagstuhl, Germany, August).

  Arthur Charguéraud presented a summary of [11] . François Pottier attended.

• ATVA: International Symposium on Automated Technology for Verification and Analysis (Singapore, September).

  Na Xu presented [29] .

• ICFP: International Conference on Functional Programming (Baltimore, USA, September).

  Arthur Charguéraud presented [16] . Julien Cretin presented [14] . Nicolas Pouillard presented [23] . Benoît Montagu and François Pottier attended.

• WMM: Workshop on Mechanizing Metatheory (Baltimore, USA, September).

  Benoît Montagu presented [31] .

Participation in national conferences

• ANR STIC colloquium (Paris, France, January).

  Xavier Leroy was invited to present the CompCert project in a plenary session.

• Journées du GDR Génie de la Programmation et du Logiciel (Pau, France, March).

  Benoît Montagu presented [30] .

• INRIA-industry meeting on Aerospace, part 1 (Bordeaux, France, January).

  Roberto Di Cosmo gave a talk on “Free/Open Source Software: scientific and technological challenges for complex systems engineering”.

• INRIA-industry meeting on Aerospace, part 2 (Toulouse, France, May).

  Roberto Di Cosmo gave a talk on “Free/Open Source Software: scientific and technological challenges for complex systems engineering”. Xavier Leroy gave a tutorial on the formal verification of software.

• Open World Forum (Paris, France, October).

  Roberto Di Cosmo gave a talk on “IRILL and Open Innovation”.

• Free Open Source Academia Conference (Grenoble, France, November).

  Roberto Di Cosmo gave a talk on “Education with and to FOSS”.

Invitations and participation in seminars

Julien Cretin gave two talks on [14] at the PL Club seminar of the University of Pennsylvania (Philadelphia, USA, September) and at the Programming Languages seminar of Cornell University (Ithaca, USA, September).

Xavier Leroy visited Andrew Appel's team at Princeton University in June and gave a seminar talk on validating register allocation. He was also invited to talk on compiler verification at the seminar of the AdaCore company (Paris, August).

François Pottier gave a talk on types for complexity-checking at the Plume seminar of ENS Lyon, in May.

Tahina Ramananandro visited the Parasol laboratory of Texas A&M University (College Station, Texas, USA, February 11th–20th) and gave a seminar talk on a machine-checked formalization of C++ object layout.

Na Xu was invited to present Static Contract Checking for Haskell to Department of Informatics, University of Sussex, UK, and at Microsoft Research Cambridge summer school, Cambridge, UK (July 2010). Na Xu was invited to present Probabilistic Contracts for Component-based Design to School of Computing, National University of Singapore, Singapore (Sep 2010).

Participation in summer schools

Alexandre Pilkiewicz attended the Oregon Programming Languages Summer School “Logic, Languages, Compilation, and Verification” (Eugene, OR, USA, June).

Nicolas Pouillard attended the Spring School on Generic and Indexed Programming (Wadham College, Oxford, UK, March).

Na Xu attended the CEA-EDF-INRIA summer school on “Modelling and verifying algorithms in Coq” (Paris, June).