Laura Bocchi -

Registered user since Thu 7 Mar 2019

Name:Laura Bocchi

Country:United Kingdom

Affiliation:University of Kent

Personal website:https://www.cs.kent.ac.uk/people/staff/lb514/

Contributions

ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
Erlang 2023	PC Member in Program Committee within the Erlang 2023-track
‹Programming› 2023	Author of A Theory of Composing Protocols within the Research Papers-track
AGERE 2021	Author of A model of actors and grey failures within the AGERE 2021-track
Erlang 2021	PC Member in Program Committee within the Erlang 2021-track
BEHAPI 2019	PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
ESOP 2019	Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track
BEAT 2019	Committee Member in Program Committee within the BEAT 2019-track
Erlang 2018	Committee Member in Program Committee within the Erlang 2018-track