The Coq mailing list

["ARC Info UVT" <teo.grumeza AT gmail.com>]

International Symposium on ARC: Automated Reasoning in the Class

In the frame of the project ARC

Timisoara, Romania

18 - 19 July 2022

www.arc.info.uvt.ro

 

The international Erasmus+ European Project: “ARC – Automated Reasoning in the Class”, running from 2019 to 2022 is 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 in: 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. 

 

PARTICIPANTS and FUNDING: 

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.

 

VENUE:

West University of Timisoara,

Deapartment of Computer Science,

Bd. Vasile Parvan, no. 4, room A11

 

KEYNOTE PROFESSORS:

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)

DEADLINES

10 July 2022 – early application submissions (for funding)

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 https://easychair.org/conferences/?conf=arcsymposium2022

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

Committees

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

Contact

All questions about submissions should be emailed to arc.info AT e-uvt.ro  or isabela.dramnesc AT e-uvt.ro

 

If you do not wish to receive announcements anymore please Unsubscribe