News

News & events

Papers, prizes, new members, open positions and events from the lab.

22 Sep 2026

KLAIM, Certified: a mechanised flow logic for tuple-space coordination

The 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...

Research
Choreographies

19 Sep 2026

Policy Automata for Stateful Authorization at ICTCS 2026

From 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...

Research
Cybersecurity

14 Sep 2026

Matteo Paier defended his PhD thesis

Today Matteo Paier successfully defended his PhD thesis, Fine-grained symbolic verification of heterogeneous systems, at IMT Lucca, receiving an excellent evaluation. The Commission was composed of…

People

2019

17 Oct IT MATTERS starts!
- Events
- Research

2018

7 Nov Internship at Electrolux GC&T: ” Anomaly detection in embedded electronic systems”
27 Sep One year industrial research position at the University of Udine (deadline: 10 Oct 2018)
- Research
12 Jun 2018 EUTypes Summer School on Types for Programming and Verification
20 Apr Lectures about blockchain
- Events
2 Feb JLAMP special Issue on Metamodels for Process Language

2017

2015

16 Sep JLAMP special issue on MeMo – Call for Papers
16 Sep Paper “Behavioural equivalences for coalgebras with unobservable moves” on JLAMP
- Concurrency theory
- Research
22 Jun ACM SAC:CM 2016
- Events
6 Jun Paper “Open Transactions on Shared Memory” at COORDINATION 2015
- Research
- Transactional Memory
6 Jun MeMo 2015 workshop is over

News & events

KLAIM, Certified: a mechanised flow logic for tuple-space coordination

Policy Automata for Stateful Authorization at ICTCS 2026

Matteo Paier defended his PhD thesis

Archive

2026

2025

2024

2023

2022

2020

2019

2018

2017

2015