News

May'20
Released a new version of jLibBig, a Java library for Bigraphical Reactive Systems. This release introduces support for directed bigraphs based on my paper "Computing embeddings of directed bigraphs" and completes the migration to the new API of CHOCO-Solver.
Feb'20
Gave the talk "A logical reconstruction of the π-calculus and its behavioural theory" as part of my research visit to the Formal Analysis, Theory & Algorithms section at Glasgow University, UK.
Feb'20
Excited to serve in the PC of the Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics (EXPRESS/SOS 2020) and in the PC of the 3rd International Conference on Microservices (Microservices 2020).
Dec'19
Excited to be co-chairing the 1st International Workshop on Agility with Microservices Programming (AMP 2020) at (XP 2020).
Oct'19
Excited to be publicity chair of the of the 3rd International Conference on Microservices (Microservices 2020).
Oct'19
I was appointed to the Communication Group Microservices Community and I will be coordianting events and activities organised or supported by the community.
Jul'19
Jul'18
Excited to co-chair the of the 2nd International Conference on Microservices (Microservices 2019).
Mar'18
Published the report "Classical Transitions".
Dec'17
Nov'17
Gave an invited talk about bisimulation and coinduction at the Dagstuhl Seminar on Algorithmic Cheminformatics.
Jul'17
Excited to serve on the Local Commitee of the 1st International Conference on Microservices (Microservices 2017).
Jun'17
Excited to be serving on the PC of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2017).
May'17
May'17
Congratulations to Alessio Mansutti for receiving the award "Best Italian Master Thesis in Theoretical Computer Science" from the EATCS for his thesis "Loose Graph Simulations" that I had the pleasure to supervise.