Editorial Board

General/Program Chair

  • Co-chair of 20th International Conference on Coordination Models and Languages (COORDINATION 2018)
  • Co-chair of 1st International Workshop on FORmal methods for the quantitative Evaluation (FORECAST 2016)
  • Co-chair of 15th Italian Conference on Theoretical Computer Science (ICTCS 2015)
  • Co-chair of 10th International Symposium on Trustworthy Global Computing (TGC 2015)
  • Co-Scientific director of Open Problems in Concurrency Theory (OPCT 2014)
  • General Chair of 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013)

Member of Program/Orginizing Committee

  • 23rd International Symposium On Formal Methods (FM 2019)
  • 21th International Conference on Coordination Models and Languages (COORDINATION 2019) _ 11th Workshop on Programming Language Approaches to Concurrency & Communication-cEntric Software (PLACES 2019)
  • 19th International Conference on Coordination Models and Languages (COORDINATION 2017)
  • 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2016)
  • 26th Conference on Concurrency Theory (CONCUR 2015)
  • 3nd IEEE International Workshop on Formal Methods Integration (FMi 2015)
  • 8th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2014)
  • 2nd IEEE International Workshop on Formal Methods Integration (FMi 2014)
  • 16th International Conference on Coordination Models and Languages (COORDINATION 2014)
  • 9th International Symposium on Trustworthy Global Computing (TGC 2014)
  • 3rd Workshop On GRAPH Inspection and Traversal Engineering (GRAPHITE 2014)
  • 7th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2013)
  • 10th International Conference on Integrated Formal Methods (iFM 2013)
  • 9th International Conference on Integrated Formal Methods (iFM 2012)
  • 7th European Performance Engineering Workshop (EPEW 2010)