Activities

SERVICE

Scientific events (workshops, conferences, research schools) in which I am or have been involved.

Forthcoming Events

  • ISR 2021 12th IFIP 1.6 International School on Rewriting (Lecturer)

  • LSFA 2021 16th Logical and Semantic Framework with Applications (PC member)

  • FORTE 2021 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC member)

Recent Events

  • 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)

Past Events

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

  • AVISPA Univ. Javeriana, Colombia

Past Projects

ORGANIZATIONS