Matteo Acclavio -

Registered user since Tue 17 Mar 2026

Name:Matteo Acclavio

Affiliation:University of Sussex

Contributions

2026

FLOPS

Author of Probabilistic Linear Logic Programming with an application to Bayesian Networks computations within the FLOPS 2026-track

2024

Choreographic Programming

Author of A Propositional Dynamic Logic for Choreographies within the Choreographic Programming 2024-track