- SYNASC 2020 – International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Deadline for the main tracks: June 15.
- FROM 2020 – Working Formal Methods Symposium. Deadline: June 30 (full paper)
The ARC project (2019-2022): EU ERASMUS project for developing teaching material (text and software) and good practice recommendations for using automated reasoning tools in university teaching of Mathematical Logic, Automated Theorem Proving, Formal Methods, and related subjects.