International Symposium on ARC

Timisoara, Romania

18 – 19 July 2022



The international Erasmus+ European Project: “ARC – Automated Reasoning in the Class”, running from 2019 to 2022 represents a partnership of universities from Austria, France, Germany, Hungary, and Romania, and has the purpose of developing advanced material for teaching subjects related to Computational Logic by using Automated Reasoning. The material includes a comprehensive textbook treating the necessary theoretical background (selected topics in Mathematical Logic), but mostly the practical methods from Automated Theorem Proving, as well as the description of the basic programming paradigms and the associated languages, in relation to their logical aspects. The main activities of the project consist in the development of the ARC book: “Computational Logic, a Practical Approach” and the development of various interactive learning tools based on Automated Reasoning.

The goal of the symposium is to disseminate the results of the ARC project, mainly to familiarize the participants with the ARC book. There will be 2 full days of sessions consisting of: the history and the purpose of the ARC project, the main goal of the ARC book and its innovative approach on teaching, on each chapter the general presentation of the contents, interactive testing of the software and of the exercises, the recommendations and best practice learning scenarios, as well as the possibilities for future cooperation.


The symposium is open to academic staff.


  • West University of Timisoara
  • Department of Computer Science
  • Blvd. Vasile Parvan, no. 4, room A11


  • ISABELA DRAMNESC (West University of Timisoara, Romania) 
  • ERIKA ABRAHAM (RWTH Aachen University, Germany) 
  • TUDOR JEBELEAN (Johannes Kepler University, Linz, Austria) 
  • GABOR KUSPER (Eszterhazy Karoly Catolic University, Eger, Hungary) 
  • SORIN STRATULAT (University of Lorraine, France)


10 July 2022 – early application submissions (for funding covering partially costs)

12 July 2022 – notification of acceptance/rejection

13 July 2022 – late application submissions (no funding)

APPLICATIONS should contain a motivation letter and should be submitted to the EasyChair platform:

The number of applications which will be accepted for partially funding is restricted to 30.


Program Committee

  • Isabela Dramnesc, Romania
  • Tudor Jebelean, Austria
  • Erika Abraham, Germany
  • Gabor Kusper, Hungary
  • Sorin Stratulat, France

Organizing committee

  • Isabela Dramnesc, Romania (chair)
  • Theodor Grumeza, Romania


All questions about submissions should be emailed to  or