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)