ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Luca Padovani

Registered user since Tue 18 Aug 2015

Name: Luca Padovani

Country: Italy

Affiliation: University of Turin

Personal website: http://www.di.unito.it/~padovani/

Contributions

BEHAPI 2019PC Member in Program Committee within the BEHAPI-track
Committee Member in Organizing Committee within the BEHAPI-track
Session Chair of Mechanising Proofs of Behavioural Types for APIs (part of BEHAPI)
Author of Mailbox Types for Unordered Interactions within the BEHAPI-track
PLACES 2019Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track
ESOP 2019Session Chair of Concurrency and Distribution (part of ESOP 2019)
Committee Member in Program Committee within the ESOP 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile