[Apologies if you receive multiple copies of this email. Please distribute to
interested parties.]
CALL FOR PAPERS
*** CAUSAL 2019 ***
(June 3 or 4, 2019)
Workshop on Causal Reasoning and Explanation in Lo
FMTea19
Formal Methods Teaching Workshop and Tutorial
Event affiliated with FM2019, 3rd World Congress on Formal Methods
7 October 2019, Porto, Portugal
OBJECTIVES AND SCOPE
Formal Methods provide software engineering with tools and techniques for
rigorously reasoning about the correctness of
Call for Participation
---
15th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2019
=
2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
Colocated with CICM 2019
July 8, 2019