International Symposium on ARC

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.

For a limited number of participants we offer funding support:

  • 200 Euro (for accommodation and transport) for participants outside Romania
  • 100 Euro for participants from Romania


  • West University of Timisoara
  • Deapartment 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)


29 June 2022 – early application submissions (for funding)

30 June 2022 – notification of acceptance/rejection

08 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 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