29.11.2021 – 05.12.2021

Training in SAT held in Eger, Hungary at Eszterhazy Karoly Catholic University.

30.08.2021 – 03.09.2021 

Training in PBL held in Timisoara, Romania at West University.


The training in SMT held by the partner RWTH, Aachen University, Germany started online on Zoom.


The training in Theorema held by the partner Johannes Kepler University of Linz, Austria started online on Google Meet.


Fifth online training in Problem based Learning and teaching lectures related to Automated Reasoning held by Isabela Drămnesc, Adrian Crăciun, and Mircea Marin in 24 September 2020 on Google Meet.


The project implementation period is extended with 11 months due to the pandemy. The new ending date is 31.08.2022.


Fourth Online Training about How to state the pre- and postconditions in Java; How does the CSFLOC SAT solver work, and What is the Black-and-White SAT problem? held by Gabor Kusper in 16 July 2020 on Zoom.


Third online training in using Spike, PVS, Coq, Esc/Java and OpenJML for teaching lectures related to Automated Reasoning held by Sorin Stratulat and Renata Bunoiu in 02 July 2020 on Google Meet.


Short online training in Software experiments in Mathematical Logic related lectures held by Tudor Jebelean in 28 May 2020 on Zoom and Google Meet.


Short online training on Teaching Satisfiability Checking held by Erika Abraham in 14 May 2020 on Zoom.


Training in Theorema cancelled. According to the measures adopted by the Romanian National Committee for Special Emergency Situations on March 9 2020, all mobilities within the Erasmus+, the European Solidarity Corps and EEA Grants are suspended until 31 of March 2020 (all departures or arrivals within this time frame).”


First transnational project meeting held in Timisoara at West University.