<head>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<meta name="GENERATOR" content="MSHTML 11.00.10570.1001"></head>
<body>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 15pt; mso-fareast-font-family: "Times New Roman";'>International Symposium on ARC: Automated Reasoning in the
Class</span></b></p>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><i><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 15pt; mso-fareast-font-family: "Times New Roman";'>In the frame of the project ARC</span></i></p>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 15pt; mso-fareast-font-family: "Times New Roman";'>Timisoara,
Romania</span></p>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 15pt; mso-fareast-font-family: "Times New Roman";'>18
- 19 July 2022</span></p>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 15pt; mso-fareast-font-family: "Times New Roman";'>www.arc.info.uvt.ro</span></p>
<p align="center" style="margin: 0cm 0cm 8pt; text-align: center; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>The <i>international Erasmus+
European Project: “ARC – Automated Reasoning in the Class”, running from 2019
to 2022 </i><span style="color: black;">is a partnership of<i> </i>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.</span></span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>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. </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>PARTICIPANTS and
FUNDING: </span></b></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>The symposium is open to academic
staff. </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>For a limited number of participants
we offer funding support:</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>200 Euro (for accommodation and
transport) for participants outside Romania, </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>100 Euro for participants from
Romania.</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>VENUE:</span></b></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>West University of Timisoara,</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Deapartment of Computer Science,</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Bd. Vasile Parvan, no. 4, room A11</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>KEYNOTE
PROFESSORS:</span></b></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>ISABELA DRAMNESC (West University of
Timisoara, Romania) </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>ERIKA ABRAHAM (RWTH Aachen University,
Germany) </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>TUDOR JEBELEAN (Johannes Kepler
University, Linz, Austria) </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>GABOR KUSPER (Eszterhazy Karoly
Catolic University, Eger, Hungary) </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>SORIN STRATULAT (University of
Lorraine, France)</span></p><p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>
<b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><br></span></b></span></p><p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>DEADLINES</span></b></span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>10 July 2022 </span></b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>– early application submissions (for funding)</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>12 July
2022 </span></b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>– notification of
acceptance/rejection</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>13 July 2022</span></b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> – late application submissions (no funding)</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>APPLICATIONS</span></b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> should contain a motivation letter and should be
submitted to the EasyChair platform </span><span lang="EN-US"><a href="https://easychair.org/conferences/?conf=arcsymposium2022" target="_blank"><span style='color: rgb(29, 65, 159); font-family: "Arial",sans-serif; font-size: 12pt;'>https://easychair.org/conferences/?conf=arcsymposium2022</span></a></span><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> </span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>The number of applications which
will be accepted for funding is restricted to 30.</span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 18pt; mso-fareast-font-family: "Times New Roman";'><br></span></b></span></span></p><p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 18pt; mso-fareast-font-family: "Times New Roman";'>Committees</span></b></span></span></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-outline-level: 3;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 13.5pt; mso-fareast-font-family: "Times New Roman";'>Program
Committee</span></b></p>
<ul type="disc">
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l1 level1 lfo1; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Isabela Dramnesc, Romania</span></li>
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l1 level1 lfo1; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Tudor Jebelean, Austria</span></li>
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l1 level1 lfo1; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Erika Abraham, Germany</span></li>
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l1 level1 lfo1; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Gabor Kusper, Hungary</span></li>
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l1 level1 lfo1; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Sorin Stratulat, France</span></li>
</ul>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-outline-level: 3;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 13.5pt; mso-fareast-font-family: "Times New Roman";'>Organizing
committee</span></b></p>
<ul type="disc">
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l0 level1 lfo2; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Isabela Dramnesc, Romania
(chair)</span></li>
<li style='margin: 0cm 0cm 8pt; color: rgb(0, 0, 0); line-height: normal; font-family: "Arial",sans-serif; font-size: 12pt; font-style: normal; font-weight: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-list: l0 level1 lfo2; tab-stops: list 36.0pt;'><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>Theodor Grumeza, Romania</span></li>
</ul>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto; mso-outline-level: 2;"><b><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 18pt; mso-fareast-font-family: "Times New Roman";'>Contact</span></b></p>
<p style="margin: 0cm 0cm 8pt; line-height: normal; mso-margin-top-alt: auto; mso-margin-bottom-alt: auto;"><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'>All questions about submissions
should be emailed to </span><span lang="EN-US"><a href="mailto:arc.info@e-uvt.ro"><span style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'><font color="#0000ff">arc.info@e-uvt.ro</font></span></a></span><span lang="EN-US" style='font-family: "Arial",sans-serif; font-size: 12pt; mso-fareast-font-family: "Times New Roman";'> or isabela.dramnesc@e-uvt.ro</span></p>
<p style="margin: 0cm 0cm 8pt;"><span lang="EN-US" style='font-family: "Arial",sans-serif;'> </span></p><p style="margin: 0cm 0cm 8pt;"><span lang="EN-US" style='font-family: "Arial",sans-serif;'>If you do not wish to receive announcements anymore please <font face="Times New Roman"><a href="http://synasc.ro/unsubscribe.php?l=&e=b20tYW5ub3VuY2VAb3Blbm1hdGgub3Jn">Unsubscribe</a></font></span></p>
</body>