News
Papers, prizes, new members, open positions and events from the lab.
The paper Reliable Decision Loops in Socio-Technical Collective Adaptive Systems, by Marino Miculan, has been published in the proceedings of ISoLA 2026: a formal framework for systems where...
Read moreThe paper KLAIM, Certified: Mechanising Flow Logic for Tuple-Space Coordination, by Marino Miculan, has been published (open access) in the Journal of Logical and Algebraic Methods in Programming...
Read moreFrom September 7th to 9th Udine hosted ICTCS 2026, the Italian Conference on Theoretical Computer Science, where we presented our paper Policy Automata for Stateful Authorization, by Massimiliano...
Read more