Upcoming and Recent Events
  • ECOOP 2024 European Conference on Object-Oriented Programming (Program Committee)
  • FORTE 2024 Conference on Formal Techniques for Distributed Objects, Components, and Systems (Program Committee)
  • ICE 2024 Interaction and Concurrency Experience Workshop (Program Committee)
  • POPL 2024 Symposium on Principles of Programming Languages (Program Committee)
  • INForum 2024 Simpósio de Informática (General Co-chair)
  • DARE 2023 First Summer School on Distributed and Replicated Environments (Co-organizer)
  • ICE 2023 Techniques for safe and highly available cloud applications (Invited Talk)
  • SEFM 2023 Conference on Software Engineering and Formal Methods (Program Committee Co-chair)
  • TACAS 2021 Tools and Algorithms for the Construction and Analysis of Systems (Program Committee)
  • INForum 2020 Simpósio de Informática (Chair SOFT-PT Track)
  • Dagstuhl Seminar 19442: Programming Languages for Distributed Systems and Distributed Data Management (Co-organizer)
  • PaPoC 2023 PaPoC 2020 PaPoC 2019 Principles and Practice of Consistency for Distributed Data (Program Committee)
  • FM 2019 Symposium on Formal Methods (Program Committee)
  • PaPoC 2019 Techniques for safe and highly available cloud applications (Invited Talk)
  • RC 2019 RC 2018 Conference on Reversible Computation (Program Committee)
  • ATVA 2017 Symposium on Automated Technology for Verification and Analysis (Invited Talk)
  • FORTE 2017 Conference on Formal Techniques for Distributed Objects, Components, and Systems (Program Committee)
  • MPFS 2017 Conference on the Mathematical Foundations of Programming Semantics (Program Committee)
  • PMLDC 2017 PMLDC 2016 Programming Models and Languages for Distributed Computing (Program Committee)
  • ...