I'm member of the IFIP WG 1.8 "Concurrency Theory".
I'm an editor of Scientific Annals in Computer Science.
I'm an editor of Science of Computer Programming.
I served in the Program Commitee of the following events:
SLAP 2004, 3rd Workshop on Synchronous Languages, Applications, and Programming. Barcelona, Spain, March 2024.
SOS 2004, Int. Workshop on Structural Operational Semantics. London, UK, August 2004.
SOS 2005, 2nd Int. Workshop on Structural Operational Semantics. Lisbon, Portugal, July 2005.
SLA++P 2007, Int. Workshop on Model-driven High-level Programming of Embedded Systems. Braga, Portugal, 2007.
SOS 2007, 4th Int. Workshop on Structural Operational Semantics. Wroclaw, Poland, July 2007.
SOS 2008, 5th Int. Workshop on Structural Operational Semantics. Reykjavik, Iceland, July 2008.
EXPRESS/SOS 2016, Combined 23rd Int. Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics. Quebéc City, Canada, August 2016.
ICTCS 2018, 19th Italian Conference on Theoretical Computer Science. Urbino, Italy, September 2018.
CONCUR 2019, 30th Int. Conference on Concurrency Theory. Amsterdam, The Netherlands, August 2019.
SEFM 2020, 18th Int. Conference on Software Engineering and Formal Methods. Amsterdam, The Netherlands, September 2020.
FORTE 2021, 41st Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems. Valletta, Malta, June 2021.
ICTCS 2023, 24th Italian Conference on Theoretical Computer Science. Palermo, Italy, September 2023.
FORTE 2024, 44th Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems. Groningen, The Netherlands, June 2024.
DATAMOD 2024, 12 Int. Symposium From Data To Models and Back. Aveiro, Portugal, November 2024.
I co-chaired the following events:
EXPRESS/SOS 2017, Combined 24th Int. Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017. Berlin, Germany, August 2017.
EXPRESS/SOS 2018, Combined 25th Int. Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018. Beijing, China, August 2018.
ICTCS 2019, 20th Italian Confenence on Theoretical Computer Science, ICTCS 2019. Como, Italy, September 2019.