Community

Editorial Boards

Theoretical Computer Science (Logic, Semantics and Theory of Programming (TCS-B))
Journal of Logic and Algebraic Programming

Conferences

LICS’26 (PC Member)
ECOOP’25 (PC Member)
LICS’25 (PC Member)
FoSSaCS’25 (PC Member)
ESOP- (2022- Steering Committee Chair)
ETAPS- (2022 – Steering Committee Member)
ESOP 2019-2021 (Steering Committee Member)
FORTE 2018-2021 (Steering Committee Member)
CALCO’21 (PC Member)
ESOP’19 (PC Chair)
FORTE’18 (PC co-Chair)
FoSSaCS’18 (PC Member)
ECSS’17 (Organising co-Chair)
CONCUR’17 (PC Member)
Linearity’16 (PC Member)
CONCUR’16 (PC Member)
CSL’16 (PC Member)
TGC’15 (PC Member)
MFCS’15 (PC Member)
FCT’15 (PC Member)
ESOP’15 (PC Member)
FoSSaCS’15 (PC Member)
ICALP’15 (PC Member)
CONCUR’14 (PC Member)
Coordination’14 (PC Member)
ESOP’14 (PC Member)
TGC’13 (PC Member)
FORTE-FMOODS’13 (PC Member)
CONCUR’12 (PC Member)
INFORUM’11 (PC co-Chair)
SOFT-PT’11 (PC Member)
TASE’11 (PC Member)
ICE’11 (PC Member)
CONCUR’10 (PC Member)
SOFT-PT’10 (PC Chair)
PSPL’10 (PC Member)
CONCUR’09 (PC Member)
FoSSaCS’09 (PC Member)
OOPS’08 (PC Member)
TGC’07 (PC Member)
EXPRESS’07 (PC Member)
CONCUR’07 (PC co-Chair)
CONCUR’05 (PC Member)
ICALP’05 (Organising co-chair)
FoSSaCS’05 (PC Member)
LRPP’04 (PC Member)

Invited Keynotes at Conferences

MFPS XVIII (2003) (Invited Speaker) A Spatial Logic for Concurrency
WADT’04 (Invited Speaker) Spatial Logic Specifications of Distributed Systems
TGC’05 (Invited Speaker) Proof Techniques for Distributed Processes and Resources
FMCO’05 (Invited Speaker) Composing Distributed Services with Spatial Types
CALCO’07 (Invited Speaker) Logical Semantics of Types for Concurrency
FACS’10 (Invited Speaker)Analysis of Service Oriented Software Systems
Radical’17 (Invited Speaker) Concurrency from the Trunk of Type Theory.

Invited and Contributed Talks at International Venues

Linear Logic and Applications (FSCD, 2024) (Contributed Talk) On Linear Logic and Stateful Computation.
IFIP WG 2.2 Meeting Tallin, 2024 (Contributed Talk) Dependent Linear Types and Purity Types.
Dagstuhl Seminar 24051 NGPHS (Contributed Talk) Session-based Contracts with Linear Dependent Types.
IFIP WG 2.2 Meeting Bologna, 2023 (Contributed Talk) The Session Abstract Machine.
OPCT’23 Bertinoro (Invited Talk) Shared state Session-based programs that prove themselves.
Carnegie Mellon CSD POP Seminar, 2022 (Invited Talk) Concurrent Programming with Sessions and Shared State.
SysMA Research Seminar IMT Scuola Alti Study Lucca 2022 (Invited Talk) Software to create Software
SysMA Research Seminar IMT Scuola Alti Study Lucca 2022 (Invited Seminar) Propositions as Types and Shared State
IFIP WG 2.2 Meeting Munster, 2022 (Contributed Talk) Propositions-as-types and Stateful Computation.
IFIP WG 2.2 Meeting Viena, 2019 (Contributed Talk) An Obsevational Model for Quantum Interaction.
IFIP WG 2.2 Meeting Brno, 2018 (Contributed Talk) Typesafe Programming with Practical Type-level Computation
Dagstuhl TABT’17 (Invited Speaker) Behavioural types, Type theory and Logic,
IFIP WG 2.2 Meeting Lucca, 2018 (Contributed Talk) Logic and Types, Concurrency and Non Determinism.
IFIP WG 2.2 Meeting Lisbon, 2017 (Contributed Talk) Behavioural Separation Types at Work
BETTY Final Meeting Lisbon, 2016 (Invited Talk) Session Types, Control Effects, and Linear Logic
Betty’16 Summer School U Cyprus 2016 (Lecturer) Linear Logic and Behavioural Types
BETTY Workshop Malta, 2016 (Invited Talk) Behavioural rely-guarantee protocols for shared memory
BETTY Workshop Malta, 2015 (Invited Talk) Logical Foundations of Session-Based Interaction
Cambridge Seminar Luca Cardelli Fest’14 (Speaker) Logic and Types, Concurrency and Non Determinism
OPCT’14 Bertinoro (Invited Speaker) Concurrency and Types in Programming.
SysMA Research Seminar IMT Scuola Alti Study Lucca 2013 (Invited Seminar)Logical Foundations of Session-Based Interaction
IFIP WG 2.2 Meeting Lisbon, 2016 (Contributed Talk) The Type Discipline of Behavioural Separation
Carnegie-Mellon CSD POP Seminar, 2011 (Invited Talk) The Type Discipline of Behavioral Separation.
Joint INTERFACES/Aerminium Workshop, 2011 (Invited Talk) Certifying Interfaces for Software Services using Types and Logic
Choco Meeting’10 (Invited Talk) A Concurrent Interpretation of Intuitionistic Linear lLgic
Carnegie Mellon Institute for Software Research (Invited Talk) , 2010, Spatial Separation Types for Concurrent Programming,
LIX Colloquium Robin Milner Fest’06 2006 (Invited Talk) Properties of Interaction in Space.
SENSORIA Workshop, Politecnico di Milan, 2009 (Invited Talk) Model-Checking Conversations with ChorSLMC
IFIP WG 2.2 Meeting Bologna, 2009 (Contributed Talk) On Session Types and Linear Logic
SENSORIA Workshop, U Leicester 2007 (Invited Talk) Specification and Analysis of Service Contracts
SENSORIA Workshop, U Firenze, 2007 (Invited Talk) Towards a core calculus of service oriented computing
IFIP WG 2.2 Meeting U Torino, 2008 (Contributed Talk) Concurrency Control Types for Object-Oriented Programming
IFIP WG 2.2 Meeting U Nancy, 2007 (Contributed Talk) Logical Semantics of Types for Concurrency
GLOBAN’06 Summer Schoo, Denmark TU 2006l (Lecturer) Modal Process Logics
SENSORIA Workshop, TU Denmark, 2005 (Invited Talk) Behavioral Analysis of Service Based Systems
APPSEM II Spatial Logics Workshop, 2003 (Invited Talk) Model-Checking Spatial Properties in the Pi-Calculus
Carnegie Mellon CSD POP Seminar, 2009 (Invited Talk) Dynamic Control of Interference with Spatial-Behavioral Types
U Pisa Departamento di Informatica Seminar, 2006 (Invited Talk) Types for Distributed Services
Global Computing Workshop, Rovereto 2004 (Invited Talk) Behavioral-Spatial Specifications in a Logic for the Pi-Calculus.
LIP-PLUME Seminar, Ecole Normal Superieure de Lyon, 2003 (Invited Talk) Model-Checking Spatial Properties in the Pi-Calculus.
Global Computing Workshop, Roveretto, 2003 (Invited Talk) Verification of Concurrent Mobile Systems.
Laboratoire PS, Université Paris VII, 2002 (Invited Talk) A Spatial logic for Concurrency.
Microsoft Research Cambridge and Cambridge Computer Laboratory 2002 (Invited Talk) Model-Checking Spatial Properties in the Pi-Calculus.
Global Computing Workshop, Sophia-Antipolis 2002 (Invited Talk) Logics for Mobility.

Member of Award Selection Panels

EALPS Doctoral Dissertation Award (2018-19)
ERCIM Cor Baayen Award (2019)
INESC-ID “Vencer o Adamastor” Prize (2022-23)
ETAPS Test of Time Award (2021)
CONCUR ToT Award (2024)