Marco Carbone -

Not registered as user yet

Name:Marco Carbone

Affiliation:IT University of Copenhagen

Contributions

2023

LOPSTR

Author of A Logical Interpretation of Asynchronous Multiparty Compatibility within the LOPSTR 2023-track

ST

Author of Mechanising Multiparty Session Types: A Sound and Complete Projection within the ST30-track
Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track
Committee Member in Organizing Committee within the ST30-track

2019

BEHAPI

Author of Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months. within the BEHAPI-track