Conferences and Workshops

2015

  • COORDINATION2015: PC member
  • ICTAC 2015: PC member
  • SOFSEM 2015:

2014

  • ACSD 2014: PC member
  • COORDINATION 2014: PC member
  • FMICS 2014: PC member
  • ICTAC 2014: PC member
  • InfQ 2014: PC member
  • MFCS 2014: PC member
  • SASO 2014: PC member

2013

  • ACSD 2013: PC member
  • COORDINATION 2013: chair
  • InfQ 2013: PC member
  • MoKMaSD 2013: PC member
  • TGC 2013: PC member

2012

  • ACSD12: PC member
  • CONCUR 12: PC member
  • Coordination 2012: PC member
  • MoKMaSD 2012: PC member
  • QEST 2012: PC member

2011

  • ACSD11: PC member
  • CONCUR 11: PC member
  • Coordination 2011: PC member
  • ICALP 2011: PC member
  • TGC 2011: PC member,
  • WS-FM'11: PC member

2010

  • ACSD10: PC member
  • AICA 2010: PC member
  • Coordination 2010: PC member
  • FoSSaCS 2010: PC member
  • GANDALF 2010: PC member
  • TGC 2010: PC member

2009

  • LICS 2009 - Logics in Computer Science: PC member
  • ACSD 2009 - Application of Concurrency to System Design: PC member
  • COORDINATION 2009: PC member

2008

  • ACSD 2008 - Application of Concurrency to System Design: PC member
  • SAC 2008 - Coordination Models, Languages and Applications: PC member
  • ICALP-B: PC member
  • QAC 08: PC member
  • QEST2008: PC member
  • SEFM-08: PC member
  • COORDINATION 2008: PC member

2007

  • SOS 2007: PC member
  • TGC 2007 - Trustworthy Global Computing: PC member
  • ESOP07: PC chair
  • WS-FM 2007 - Web Services and Formal Methods: PC member: PC member
  • QEST'07: PC member
  • FInCo 2007 - Foundations of Interactive Computation: PC member
  • SYANCO 2007: Synthesis and Analysis of Component Connectors: PC member
  • QAC'07: Quality Aspects of Coordination: PC member

2006

  • CSL 2006: PC member
  • WS-FM06 - Web Services and Formal Methods: PC member: PC member
  • TGC 06- Trustworthy Global Computing: PC member
  • AMAST 2006: PC member

2005

  • TGC 2005 - Trustworthy Global Computing: PC Cchair
  • WS-FM 2005 - Web Services and Formal Methods: PC member

2004

  • LICS - Logics in Computer Science: PC member
  • COORDINATION 2004: PC Chair
  • AMAST 2004: PC member
  • SecCO 2004: PC member

2003

  • ICDCS - 23rd IEEE International Conference on Distributed Computing Systems: PC member
  • ICALP - International Conference on Algorithms, Languages and Programming: PC member
  • FICS - Fixed Points in Computer Science: PC member

2002

  • COORDINATION: PC member
  • CONCUR: PC member
  • LICS - Logics in Computer Science: PC member
  • FICS - Fixed Points in Computer Science: PC member
  • FATES - Second Workshop on Formal Approaches to Testing of Software: PC member
  • Foclasa - 1st International Workshop on Foundations of Coordination Languages and Software Architectures: PC member

2001

  • PPDP Steering Committee Member
  • PLI 2001 ORGANIZATION Co-Chair
  • PPDP 2001 Conference Chair