Team Gallium

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

Participation in conferences and seminars

Participation in international conferences

Participation in national conferences

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).


Logo Inria