Section: Dissemination

Program committees

• Frédéric Blanqui was PC member of the 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09), the 10th International Workshop on Termination (WST'09) and the 1st Coq Workshop (Coq'09).

• Jean-Pierre Jouannaud was PC member of Developments in Computational Models 2009: Computational Models From Nature, ICALP workshop, July 11, Rhodes, Greece.

• Jean-Pierre Jouannaud is PC Chair of LICS 2010 in Edinburgh, UK.