Past professional activities
Some recent meetings where I served as a Program Commitee 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.