I will serve in the PC of the 4th International Workshop on Agility with Microservices Programming (AMP 2023), a satellite of the 17th European Conference on Software Architecture (ECSA 2023).
Our paper “A Framework for Testing Microservices in Jolie” was accepted at the 25th International Conference on Coordination Models and Languages (COORDINATION 2023).
Mar'23
I gave the talk “Reasoning about Choreographic Programs” at the Software Systems Engineering Seminar of the Technical University of Denmark.
I will serve in the PC of the 3rd International Workshop on Agility with Microservices Programming (AMP 2022), a satellite of the 23rd International Conference on Agile Software Development (XP 2022).
I gave a lecture about Security by Design and Formal Methods at DigitalDays, an event organised by Denmark’s cluster organization for digital technologies DigitalLead.
I will serve in the PC of the 2nd International Workshop on Agility with Microservices Programming (AMP 2021), a satellite of the 22nd International Conference on Agile Software Development (XP 2021).
I gave the talk “A logical reconstruction of the π-calculus and its behavioural theory” at the Formal Methods Seminar of the Technical University of Warsaw, PL.
We released the first beta of Choral, a Java-like programming language for type-safe multiparty protocols. Choral is based on our paper “Choreographies as Objects”.
May'20
We released a new version of jLibBig, a Java library for Bigraphical Reactive Systems. This release introduces support for directed bigraphs based on our paper “Computing embeddings of directed bigraphs” and completes the migration to the new API of CHOCO-Solver.
I will 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
I will co-chair the 1st International Workshop on Agility with Microservices Programming (AMP 2020), a satellite of the 21st International Conference on Agile Software Development (XP 2020).
Congratulations to Alessio Mansutti for receiving the award “Best Italian Master Thesis in Theoretical Computer Science” from the European Association for Theoretical Computer Science (EATCS) for his thesis “Loose Graph Simulations” that I had the pleasure to supervise.