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.
19.05.2021
The training in SMT held by the partner RWTH, Aachen University, Germany started online on Zoom.
16.03.2021
The training in Theorema held by the partner Johannes Kepler University of Linz, Austria started online on Google Meet.
24.09.2020
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.
06.08.2020
The project implementation period is extended with 11 months due to the pandemy. The new ending date is 31.08.2022.
16.07.2020
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.
02.07.2020
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.
28.05.2020
Short online training in Software experiments in Mathematical Logic related lectures held by Tudor Jebelean in 28 May 2020 on Zoom and Google Meet.
14.05.2020
Short online training on Teaching Satisfiability Checking held by Erika Abraham in 14 May 2020 on Zoom.
10.03.2020
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).”
https://www.erasmusplus.ro/stire/vrs/IDstire/742
01-02.11.2019
First transnational project meeting held in Timisoara at West University.
https://blog.uvt.ro/blog/2019/12/04/automated-reasoning-in-the-class-arc