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
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal methods, concurrency, distributed systems, behavioural and session types, programming languages

Contributions

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

ECOOP and ISSTA 2021-profile
View general profile