Participation to Program committees (since 2003)

• MPC 2015 Mathematics of Program Construction. 29 June - 1 July 2015. Königswinter, Germany.
• CPP 2015 Certified Programs and Proofs. 13-14 January, 2015. Mumbai, India (colocated with POPL 2015)
• ITP 2014 Interactive Theorem Proving. 14-17 July, 2014. Vienna, Austria.
• Coq workshop, Vienna, Austria, July 18, 2014, as part of Vienna Summer of Logic.
• ITP 2013 Interactive Theorem Proving. 22-26 July, 2013. Rennes, France. (member of the organising committee)
• ITP 2012 Interactive Theorem Proving. 13-16 August, 2012. Princeton, New Jersey.
• PLPV 2011 The Fifth ACM SIGPLAN Workshop on Programming Languages meets Program Verification. 29th January, 2011. Austin, Texas (Affiliated with POPL 2011)
• ITP 2011 Interactive Theorem Proving. 22-25 August 2011. Nijmegen, The Netherlands
• Third Coq workshop, Nijmegen, the Netherlands, August 26th, 2011, as part of ITP 2011.
• MPC ’10: Mathematics of Program Construction, 21-23 June 2010, Manoir St-Castin Québec, Canada
• The 2nd Coq Workshop, Edinburgh, Scotland. 9 July, 2010 (A satellite workshop of ITP 2010)
• TPHOLs’08 : 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008, Montréal, Canada
• MPC ’08: Mathematics of Program Construction, 15-18 July 2008, CIRM, Luminy, France (chair)
• TPHOLs’07 20th International Conference on Theorem Proving in Higher Order Logics, 11-13 September 2007, Kaiserslautern, Germany
• WoLLIC’2007 14th Workshop on Logic, Language, Information and Computation July 2-5, 2007, Rio de Janeiro, Brazil
• IJCAR : International Joint Conference on Automated Reasoning August 16-21, 2006, Seattle (part of FLOC’06)
• JFLA’2006 Journées Francophones des Langages Applicatifs 28-31 janvier 2006, Pauillac, France
• CLASE : Constructive Logic for Automated Software Engineering Satellite event of ETAPS 2005, Edinburgh, 3rd April 2005
• 16th International Conference on Rewriting Techniques and Applications RTA’05 April 19 - 21, 2005 Nara, Japan
• 18th International Conference on Theorem Proving in Higher Order Logics TPHOLs’05 22-25 August 2005, Oxford, UK
• 17th International Conference on Theorem Proving in Higher Order Logics TPHOLs’04
• Workshop on Types in Language Design and Implementation TLDI’03
• 16th International Conference on Theorem Proving in Higher Order Logics TPHOLs’03
• 14th International Conference on Rewriting Techniques and Applications RTA’03

Back to main page

This document was translated from L^AT_EX by H^EV^EA.