News

29.11.2021 – 05.12.2021

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

https://uni-eszterhazy.hu/egyetem/automated-reasoning-in-the-class-egerben-folytatodott-az-eramus-projekt


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