Activities
SERVICE
Scientific events (workshops, conferences, research schools) in which I am or have been involved.
Forthcoming Events
ESOP 2026 35th European Symposium on Programming (PC member)
CAV 2025 37th International Conference on Computer Aided Verification (PC member)
FORTE 2025 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC member)
Recent Events
LSFA 2024 19th International Workshop on Logical and Semantic Frameworks, with Applications
ESSLLI 2024 35th European Summer School in Logic, Language and Information (Lecturer)
FM-BPM 2024 Second International Workshop on Formal Methods for Business Process Management (PC member)
DisCoTec 2024 (General chair)
Dutch Formal Methods Day 2024 (Presenter)
Next Generation Protocols for Heterogeneous Systems / Dagstuhl Seminar 24051 (Invited participant)
RADICAL 2023 Recent Advances in Concurrency and Logic (PC co-chair)
ST30 Workshop on the 30 Years of Session Types (PC member)
FM-BPM 2023 First International Workshop on Formal Methods for Business Process Management (PC member)
EXPRESS/SOS 2023 Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (PC member)
PLACES 2023 14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (Contributed talks)
PLDI 2023 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PC member)
ESOP 2023 32nd European Symposium on Programming (PC member)
IPA Course on Formal Methods (Invited Lecturer, with Dan Frumin) [slides1] [slides2]
New challenges in programming language semantics / Workshop at the Lorentz Center, Leiden (Invited participant)
PLACES 2022 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PC member)
Past Events
2021
REBLS 2021 ACM SIGPLAN Workshop on Reactive and Event-based Languages & Systems 2021 (PC member)
PPDP 2021 23rd International Symposium on Principles and Practice of Declarative Programming (PC member)
FACS 2021 17th International Conference on Formal Aspects of Component Software (PC member)
TYPES 2021 27th International Conference on Types for Proofs and Programs (PC member)
ISR 2021 12th IFIP 1.6 International School on Rewriting (Lecturer)
LSFA 2021 16th Logical and Semantic Framework with Applications (PC member)
IPA online afternoon on Formal Methods (Invited Speaker)
ICE 2021 14th Interaction and Concurrency Experience (Contributed author)
FORTE 2021 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC member)
2020
CONCUR 2020 31st International Conference on Concurrency Theory (PC member)
EXPRESS/SOS'20 Combined 27th Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics (PC member)
SEN Symposium 2020 Sixth Dutch national symposium on software engineering (Co-organizer, with Yanja Dajsuren and Wouter Swierstra)
PLACES 2020 12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PC member and contributing author)
AAMAS 2020 19th International Conference on Autonomous Agents and Multi-Agent Systems (PC member)
LAMAS 2020 10th International Workshop on Logical Aspects of Multi-Agent Systems (PC member)
FOCLASA 2020: 18th International Workshop on Coordination and Self-Adaptativeness of Software Applications (PC member, Cancelled)
2019
FORTE 2019 39th IFIP WG 6.1 Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC co-chair, with Nobuko Yoshida)
EXPRESS/SOS'19 Combined 26th Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (PC co-chair, with Jurriaan Rot)
LAP 2019 8th Conference on Logic and Applications 2019 (Invited Speaker)
FACS'19 16th International Conference on Formal Aspects of Component Software (PC member)
RV'19 19th International Conference on Runtime Verification (PC member)
CONCUR 2019 30th International Conference on Concurrency Theory (Accepted Paper)
RADICAL'19 Recent Advances in Concurrency and Logic (PC member and accepted contribution)
Effective Verification: Static Analysis Meets Program Logics / Workshop at the Lorentz Center, Leiden (Participant)
AAMAS 2019: 18th International Conference on Autonomous Agents and Multiagent Systems (PC member, main track)
BEAT 2019 Fourth Workshop on Behavioral Types, co-located with POPL 2019 (PC co-chair, with Antonio Ravara)
PLMW@POPL19: Programming Languages Mentoring Workshop 2019, co-located with POPL 2019 (Invited Panelist)
2018
PLNL 2018: First VERSEN Workshop on Programming Languages in The Netherlands (Contributed talk)
EXPRESS/SOS'18 Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, co-located with CONCUR'18 (PC co-chair with Simone Tini)
RV'18 18th International Conference on Runtime Verification (PC member)
PPDP'18 20th ACM International Symposium on Principles and Practice of Declarative Programming (PC member)
EASSS 2018 20th European Agent Systems Summer School (Lecturer)
FORTE'18 38th IFIP WG 6.1 Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC member and Accepted Paper)
ICE'18 11th Interaction and Concurrency Experience (PC member and Accepted Oral Communication)
SOAP'18 33rd ACM/SIGAPP Symp. On Applied Computing (SAC 2018)/ Track: Service-Oriented Architectures and Programming (PC member)
SYSMICS'18 2nd Workshop on Substructural logics: semantics, proof theory, and applications (Accepted Contribution)
2017 and older
BCMT'16-17 Best Cybersecurity Master Thesis Award in the Netherlands (BCMT) 2016-2017 (Evaluation Committee)
RADICAL'17 Recent Advances in Concurrency and Logic, co-located with CONCUR'17 (co-chair with Julian Gutierrez)
OPCT'17 IFIP WG1.8 Workshop on Open Problems in Concurrency Theory (Invited speaker)
LSFA'1712th Workshop on Logical and Semantic Frameworks, with Applications (PC member)
SOAP'17 32nd ACM/SIGAPP Symp. On Applied Computing (SAC 2017)/ Track: Service-Oriented Architectures and Programming (PC member)
Dagstuhl 17051 Theory and Applications of Behavioural Types (Invited participant)
IPA Fall Days 2016 IPA Fall Days on Communication, Safety and Privacy in IoT (Invited speaker)
FM'16 21st Symposium on Formal Methods (Tutorial speaker)
EXPRESS/SOS'16 23rd International Workshop on Expressiveness in Concurrency / 13th Workshop on Structural Operational Semantics (PC member)
ICALP'16 43rd International Colloquium on Automata, Languages, and Programming / Track B (PC member)
ICE'16 9th Interaction and Concurrency Experience (PC member)
PrePost First International Workshop on PrE- and POst-DEployment VErification Techniques (PC member)
SOAP'16 31st ACM/SIGAPP Symp. On Applied Computing (SAC 2016)/ Track: Service-Oriented Architectures and Programming (PC member)
DCM'15 11th International Workshop on Developments in Computational Models - PC chair, with César Muñoz) [CfP] [Poster]
ICTAC'15 12th International Colloquium on Theoretical Aspects of Computing (PC member)
VCDS'15 Verification of Concurrent and Distributed Software / Workshop at the Lorentz Center, Leiden (Participant)
ICT 2014 ICT with Industry 2014 / Workshop at the Lorentz Center, Leiden (Participant)
WS-FM'14 11th International Workshop on Web Services and Formal Methods, co-located with BPM'14 (Paper presentation)
BEAT'14 3rd Workshop in Behavioral Types, co-located with CONCUR'14 (PC member / paper presentation)
CLEI'14 40th Latin-American Conference on Informatics / Theory of Computation symposium -(PC member)
BETTY SS BETTY Summer School on Behavioral Types (Participant)
OPCT'14 Open Problems in Concurrency Theory (Speaker)
MSC'14 Mathematical Structures of Computation, week on Concurrency, Logic and Types (Speaker)
HLF 2013 1st Heidelberg Laureate Forum (Selected participant)
CLEI'13 39th Latin-American Conference on Informatics / Theory of Computation symposium (PC member)
PROJECTS
Current Projects
My VIDI project "Unifying Correctness for Communicating Software" - see the dedicated page
Concurrency in Reversible Computations (external collaborator in Clément Aubert's NSF grant)
Past Projects
AVISPA Univ. Javeriana, Colombia
SuCCeSS Security, Adaptability and time in Communication Centric Software Systems - CNRS PICS (French partner: Cinzia Di Giusto)
RevComp Reversible Computation - Extending Horizons of Computing - EU COST Action IC1405 (2014-2018) - Management Committee member
ARVI Runtime Verification Beyond Monitoring - EU COST Action IC1402 (2014-2018) - Management Committee member
BETTY Behavioral Types for Reliable Large-Scale Software Systems - EU COST Action IC1201 (2012-2016) - Management Committee member
INTERFACES CMU-Portugal