Open Call for Papers
**
Proceedings for ThEdu'20
Theorem Proving Components for Educational Software
http://www.uc.pt/en/congressos/thedu/t
---
CASC-J10 - The CADE ATP System Competition
to be held at
The 10th International Joint Conference on Automated Reasoning
Online, Earth 29th
# DEADLINE EXTENDED - CALL FOR PAPERS
Extended submission deadline: Friday 8 May (AoE)
22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020)
https://2020.ecoop.org/track/FTfJP-2020-papers
Co-located with ECOOP 2020, July 13-17, Berlin, Germany
## About FTfJP 2020
Formal techniq
SMT 2020: The 18th International Workshop on Satisfiability Modulo
Theories
Affiliated with IJCAR 2020
July 5-6, 2020
http://smt-workshop.cs.uiowa.edu/2020/
== Overview ==
SMT 2020 will be held as a virtual meeting at a distance. We are
working with the IJCAR organizers to identify suitabl
UPDATE: SEFM - Deadline extension and move to virtual modality
SEFM 2020
18th International Conference on
Software Engineering and Formal Methods
Amsterdam,
---
CALL FOR PAPERS
---
22nd International Conference on Formal Engineering Methods (ICFEM
2020), 2-6 November 2020, Singapore (subject to changes, including
backup options such as postponing the conference or hosting it online).
http://formal-analysis.com/icfem/2020/