Journal Editorial Boards

• Scientific Annals of Computer Science. Editor; June 2022 - present
• Journal of Logical and Algebraic Methods in Programming. Editor; October 2020 - present
• Journal of Computing Science and Engineering. Editor; August 2007 - present

Steering Committees

• International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Steering Committee Member; June 2022 - present
• European Joint Conferences on Theory and Practice of Software (ETAPS). Steering Committee Member; October 2007 - October 2009

Program Committees

• COORDINATION 2023: 25th IFIP International Conference on Coordination Models and Languages, June 2023; Lisbon, Portugal. Program Committee Member
• FORTE 2023: 43rd IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2023; Lisbon, Portugal. Program Committee Member
• FORTE 2022: 42nd IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2022; Lucca, Italy. Program Co-Chair (with Mohammadreza Mousavi)
• TACAS 2022: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2022; Munich, Germany. Program Committee Member
• FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems, August 2021; Virtual. Program Committee Member
• FORTE 2021: 41st IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2021; Malta. Program Committee Member
• SEFM 2020: 18th International Conference on Software Engineering and Formal Methods, September 2020; Amsterdam, The Netherlands. Program Committee Member
• SEFM 2019: 17th International Conference on Software Engineering and Formal Methods, September 2019; Oslo, Norway. Program Committee Member
• RADICAL 2019: 2nd International Workshop on Recent Advances in Concurrency and Logic, August 2019; Amsterdam, The Netherlands. Program Committee Member
• FM 2019: 23rd International Symposium on Formal Methods, October 2019; Porto, Portugal. Program Committee Member
• SEFM 2018: 16th International Conference on Software Engineering and Formal Methods, June 2018; Toulouse, France. Program Committee Member
• FORTE 2018: 38th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2018; Madrid, Spain. Program Committee Member
• FM 2018: 22nd International Symposium on Formal Methods, July 2018; Oxford, UK. Program Committee Member
• DataMod 2017: 6th International Symposium From Data to Models and Back, September 2017; Trento, Italy. Program Committee Member
• SEFM 2017: 15th International Conference on Software Engineering and Formal Methods, September 2017; Trento, Italy. Program Committee Member
• FORTE 2017: 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2017; Newchatel, Switzerland. Program Committee Member
• DataMod 2016: 5th International Symposium From Data to Models and Back, July 2016; Vienna, Austria. Program Committee Member
• FM 2016: 21st International Symposium on Formal Methods, November 2016; Limassol, Cyprus. Program Committee Member
• FM-Priv 2016: 1st Workshop on Formal Methods for Privacy, November 2016; Limassol, Cyprus. Program Committee Member
• SEFM 2016: 14th International Conference on Software Engineering and Formal Methods, July 2016. Vienna, Austria. Program Committee Member
• FORTE 2016: 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2016; Heraklion, Crete. Program Committee Member
• MoKMaSD 2015: 4th International Symposium on Modelling and Knowledge Management applications: Systems and Domains, September 2015. York, UK; Program Committee Member
• SEFM 2015: 13th International Conference on Software Engineering and Formal Methods, September 2015; York, UK. Program Committee Member
• MoKMaSD 2014: 3rd International Symposium on Modelling and Knowledge Management applications: Systems and Domains, September 2014; Grenoble, France. Program Committee Member
• SEFM 2014: 12th International Conference on Software Engineering and Formal Methods, September 2014; Grenoble, France. Program Committee Member
• BEAT 2014: 3rd International Workshop on Behavioural Types, September; 2014. Rome, Italy. Program Committee Member
• CONCUR 2014: 25th International Conference on Concurrency Theory, September 2014; Rome, Italy. Program Committee Member
• FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 2014; Berlin, Germany. Program Committee Member
• COORDINATION 2014: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages, June 2014; Berlin, Germany. Program Committee Member
• SEFM 2013: 11th International Conference on Software Engineering and Formal Methods, September 2013; Madrid, Spain. Program Committee Member
• SEFM 2012: 10th International Conference on Software Engineering and Formal Methods, May 2012; Thessaloniki, Greece. Program Committee Member
• TACAS 2012: 18th International Conferences on Tools and Algorithms for the Construction and Analysis of Systems, March 2012; Tallin, Estonia. Program Committee Member
• PE-WASUN 2011: 8th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks, October 2010; Miami, USA. Program Committee Member
• ICALP 2011: 38th International Colloquium on Automata, Languages and Programming, Track C, July 2011; Zurich, Switzerland. Program Committee Member
• ICASE 2011: The 2011 IEEE/FTRA International Conference on Advanced Software Engineering, May 2011; Busan, Korea. Program Committee Member
• TACAS 2011: 17th International Conferences on Tools and Algorithms for the Construction and Analysis of Systems, March 2011; Saarbrucken, Germany. Program Committee Member
• PE-WASUN 2010: 7th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks, October 2010; Bodrum, Turkey. Program Committee Member
• EPEW 2010: 7th European Performance Engineering Workshop, September 2010; Bertinoro, Italy. Program Committee Member
• ESOP 2010: 19th European Symposium on Programming, March 2010; Paphos, Cyprus. Program Committee Member
• QFM 2009: 1st International Workshop on Quantitative Formal Methods, November 2009; Eindhoven, The Netherlands. Program Committee Member
• TACAS 2009: 15th International Conferences on Tools and Algorithms for the Construction and Analysis of Systems, March 2009; York, UK. Program Committee Co-Chair (with Stefan Kowalewski)
• PE-WASUN 2008: 5th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks, October 2008; Vancouver, Canada. Program Committee Member
• PE-WASUN 2007: 4th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks, October 2007; Chania, Crete. Program Committee Member
• COORDINATION 2007: 9th International Conference on Coordination Models and Languages, June 2007; Limassol, Cyprus. Program Committee Member
• TACAS 2006: 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 2006; Vienna, Austria. Program Committee Member
• TACAS 2004: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 2004; Barcelona, Spain. Program Committee Member
• RISSEF 2003: 10th Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, September 2003; Chicago, Illinois. Program Committee Member

Conference Organization

• CIAC 2021: 12th International Conference on Algorithms and Complexity, May 2021; Larnaca, Cyprus. Organization Co-Chair (with Chryssis Georgiou)
• RV 2018: 18th International Conference on Runtime Verification, October 2018; Limassol, Cyprus. Organization Chair
• 16th WG/MC meeting of IC Cost Action IC1405: Reversible Computing, March 2018; Larnaca, Cyprus. Organization Chair
• FM 2016: 21st International Symposium on Formal Methods, November 2016; Limassol, Cyprus. General Chair
• BETTY Summer School 2016, Organized by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY), June 2016; Limassol, Cyprus. Organization Chair
• ETAPS 2010: 13th European Joint Conferences on Theory and Practice of Software, April 2010; Paphos, Cyprus. General Co-Chair (with Tiziana Margaria)
• ECOOP 2008: 22nd European Conference on Object-Oriented Programming, July 2008; Paphos, Cyprus. Poster and Demonstration Chair
• ISoLA 2006: 12nd International Symposium on Leveraging Applications of Formal Methods, November 2006; Paphos, Cyprus. Organization Chair
• ISoLA 2004: 1st International Symposium on Leveraging Applications of Formal Methods, October-November 2004. Paphos; Cyprus. Organization Chair