Professional Activities

The fourth ACM SIGPLAN conference on Certified Programs and Proofs (CPP 2015), January 12 - 14, 2015, Mumbai, India. Co-PC chair (with Xavier Leroy).

The 25th International Conference on Automated Deduction (CADE-25), August 2 - 7, 2015, Berlin, Germany. PC member.

Joint meeting of 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), July 14-18, 2014, Vienna, Austria. Program committee member.

The 25th International conference on Concurrency Theory (CONCUR 2014). September 1 - 6, 2014, Rome, Italy. Program committee member.

Certified Programs and Proofs (CPP) 2013. December 11 - 13, 2013, Melbourne, Australia. PC Member.

The 25th IEEE Computer Security Foundations Symposiom (CSF 2012). June 25 - 27, 2012, Cambridge MA, USA. PC Member.

The 6th International Joint Conference on Automated Reasoning (IJCAR 2012). June 26 - July 1, 2012, Manchester, UK. PC Member.

European Summer School in Logic, Language and Information (ESSLLI) 2012, August 6 - 17, 2012, Opole, Poland.

Combined workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS) 2012, September 3, 2012, Newcastle upon Tyne, UK. PC Member.

The 18th international workshop on Expressiveness in Concurrency (EXPRESS 2011), Aachen, Germany, September 5, 2011.

The 6th international workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2011). Nijmegen, Netherland, August 26, 2011.

The 8th Asian Symposium on Programming Languages and Systems (APLAS 2010). Shanghai, China. November 28 - December 1, 2010.

The 17th international workshop on Expressiveness in Concurrency (EXPRESS 2010). Paris, France. August 30, 2010.

The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009). Shanghai, China. December 17 - 19, 2009.

The 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009). Los Angeles, California, USA. August 11 - 14, 2009.