Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committee

Maxime Dénès was member of the organizing committee for the First International Workshop on Coq for Programming Languages (CoqPL 2015 ), co-located with POPL'15 in Mumbai, India.

Scientific events selection

Chair of the conference program committee

Xavier Leroy co-chaired the program committee of the ACM SIGPLAN 2015 conference on Certified Proofs and Programs (CPP'15 ), which will take place in January 2015 in Mumbai, India, colocated with POPL'15.

Member of the conference program committee

In 2014, members of Gallium reviewed approximately 95 papers submitted to international conferences and 15 papers submitted to international workshops.


Member of the editorial board

In 2014, members of Gallium reviewed 4 journal submissions.