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)