The Copenhagen Programming Language Workshop (CoPLaWS 2025) takes place at Aalborg University Copenhagen, August 22.
Alistair Sirman and Joshua Smart (University of Southampton) visit
PLS in August 2025 sponsored by the DDSA travel grant. Host:
Alessandro Bruni
The Independent Research Fund Denmark funds the project
Probabilistic Session Types (PROBABILIST), 2025-2029. The project
will fund one PhD student for 3 years. PI: Marco Carbone
Alessandro Bruni visits Reynald Affeldt at AIST, Tokyo, March -
May 2025, and Ekaterina Komendantskaya at University of
Southampton. Sponsored by the Carlsberg Foundation project
VeriFunAI (Verified Functional Analysis for Safe AI).
Lyes Saadi (ENS Paris-Saclay) visits as intern Feb - July
2025. Host: Rasmus Møgelberg
Dawit Tirore successfully defended his PhD Dec 12, 2024
2024
Marino Miculan (University of Udine) visits December 9-12. Host:
Marco Carbone
The Independent Research Fund Denmark funds the project
Probabilistic Session Types (PROBABILIST), 2025-2029. The
project will fund one PhD student for 3 years. PI: Marco
Carbone
Nobuko Yoshida (University of Oxford) visits December
7-22. Host: Marco Carbone
Nobuko Yoshida (University of Oxford) visits November
13-17. Host: Marco Carbone
