Upcoming and Recent Events
  • Tools and Algorithms for the Construction and Analysis of Systems TACAS'21 (Program Committee)
  • Principles and Practice of Consistency for Distributed Data PaPoC 2020 PaPoC'19 (Program Committee)
  • Formal Methods FM'19 (Program Committee)
  • Techniques for safe and highly available cloud applications PaPoC'19 (Invited Talk)
  • Reversible Computation RC'19 RC'18 (Program Committee)
  • Automated Technology for Verification and Analysis ATVA'17 (Invited Talk)
  • Formal Techniques for Distributed Objects, Components, and Systems FORTE'17 (Program Committee)
  • Mathematical Foundations of Programming Semantics MPFS'17 (Program Committee)
  • Programming Models and Languages for Distributed Computing PMLDC'17 PMLDC'16 (Program Committee)
  • Simpósio de Informática INForum'18 INForum'17 INForum'15 INForum'10 (Program Committee)
  • Symposium On Applied Computing SVT@SAC'10 (Program Committee)