Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Alceste Scalas

Registered user since Mon 18 Apr 2016

Name:Alceste Scalas
Affiliation:Technical University of Denmark
Research interests:Formal methods, concurrency, distributed systems, behavioural and session types, programming languages


VORTEX 2021 Committee Member in Program Committee within the VORTEX-track
ECOOP 2021 On the Monitorability of Session Types, in Theory and Practice
Show activities from other conferences

Using general profile