conf.researchr.org / Marco Peressotti
Registered user since Mon 5 Nov 2018
Name:Marco Peressotti
Country:Denmark
Affiliation:University of Southern Denmark
Personal website: https://marcoperessotti.com
Research interests:Programming Languages, Concurrency Theory, Distributed Systems
Contributions
2024
Choreographic Programming
- Session Chair of Welcome and Keynote (part of Choreographic Programming 2024)
- Author of Choreographies meet Communication Failures within the Choreographic Programming 2024-track
- Committee Member in Organizing Committee within the Choreographic Programming 2024-track
- Author of A Propositional Dynamic Logic for Choreographies within the Choreographic Programming 2024-track
- Co-chair of Opening within the Choreographic Programming 2024-track
- Co-chair of Closing within the Choreographic Programming 2024-track
- Session Chair of Libraries (part of Choreographic Programming 2024)