<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<pre> Open Call for Papers</pre>
<pre>**************************************************************************</pre>
<pre> Postproceedings for ThEdu'19 by EPTCS</pre>
<pre> Theorem Proving Components for Educational Software</pre>
<pre> <a class="moz-txt-link-freetext" href="http://www.uc.pt/en/congressos/thedu/thedu19">http://www.uc.pt/en/congressos/thedu/thedu19</a></pre>
<pre>**************************************************************************</pre>
<pre> Workshop ThEdu'19 at CADE27</pre>
<pre> <a class="moz-txt-link-freetext" href="http://www.cade-27.info/">http://www.cade-27.info/</a></pre>
<pre>**************************************************************************</pre>
<pre>
THedu'19 Postproceedings:</pre>
<pre>
ThEdu's programme comprised one invited contribution and four regular </pre>
<pre> contributions, whose abstract are in the workshop web-page. Now </pre>
<pre> postproceedings are planned to collect the contributions upgraded to full </pre>
<pre> papers. The contributions' topics are diverse according to ThEdu's scope, and </pre>
<pre> this is a call open for everyone, also those who did not participate in the </pre>
<pre> workshop. All papers will undergo review according to EPTCS standards.</pre>
<pre>
THedu'19 Scope:</pre>
<pre>
Computer Theorem Proving is becoming a paradigm as well as a technological </pre>
<pre> base for a new generation of educational software in science, technology, </pre>
<pre> engineering and mathematics. The workshop brings together experts in automated </pre>
<pre> deduction with experts in education in order to further clarify the shape of </pre>
<pre> the new software generation and to discuss existing systems.</pre>
<pre>
Topics of interest include:</pre>
<pre>
* methods of automated deduction applied to checking students' input;</pre>
<pre> * methods of automated deduction applied to prove post-conditions for</pre>
<pre> particular problem solutions;</pre>
<pre> * combinations of deduction and computation enabling systems to propose next </pre>
<pre> steps;</pre>
<pre> * automated provers specific for dynamic geometry systems;</pre>
<pre> * proof and proving in mathematics education.</pre>
<pre>
Important Dates</pre>
<pre>
* Call for papers: 16 Sep 2019</pre>
<pre> * Submission (full papers): 18 Nov 2019</pre>
<pre> * Notification of acceptance: 16 Dec 2019</pre>
<pre> * Revised papers due: 20 Jan 2020</pre>
<pre>
Submission</pre>
<pre>
We welcome submission of papers presenting original unpublished work which is </pre>
<pre> not been submitted for publication elsewhere.</pre>
<pre>
The authors should comply with the "instructions for authors", LaTeX style </pre>
<pre> files and accept the "Non-exclusive license to distribute" of</pre>
<pre> EPTCS: Instructions for authors (<a class="moz-txt-link-freetext" href="http://info.eptcs.org/">http://info.eptcs.org/</a>) LaTeX style file and </pre>
<pre> formatting instructions (<a class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a>) Copyright </pre>
<pre> (<a class="moz-txt-link-freetext" href="http://copyright.eptcs.org/">http://copyright.eptcs.org/</a>)</pre>
<pre>
Papers should be submitted via easychair, </pre>
<pre> <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=thedu19">https://easychair.org/conferences/?conf=thedu19</a>.</pre>
<pre>
In case the accepted contributions finally do not reach the standards of EPTCS </pre>
<pre> in number, there will be an alternative to publish as a techreport at CISUC </pre>
<pre> <a class="moz-txt-link-freetext" href="https://www.cisuc.uc.pt/publications">https://www.cisuc.uc.pt/publications</a>.</pre>
<pre>
Program Committee</pre>
<pre>
Francisco Botana, University of Vigo at Pontevedra, Spain</pre>
<pre> João Marcos, Universidade Federal do Rio Grande do Norte, Brazil</pre>
<pre> Filip Maric, University of Belgrade, Serbia</pre>
<pre> Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil</pre>
<pre> Walther Neuper, Graz University of Technology, Austria (co-chair)</pre>
<pre> Pedro Quaresma, University of Coimbra, Portugal (co-chair)</pre>
<pre> Philippe R. Richard, Université de Montréal, Canada</pre>
<pre> Vanda Santos, University of Aveiro, Portugal</pre>
<pre> Wolfgang Schreiner, Johannes Kepler University, Austria</pre>
<p></p>
<pre>
</pre>
<p><br>
<br>
</p>
<pre class="moz-signature" cols="72">---//---
IJCAR 2020, Paris, France, 29th June - 2nd July 2020
---//---
--
At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia
Professor Auxiliar Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: <a class="moz-txt-link-abbreviated" href="mailto:pedro@mat.uc.pt">pedro@mat.uc.pt</a>
webpage: <a class="moz-txt-link-freetext" href="http://www.mat.uc.pt/~pedro/">http://www.mat.uc.pt/~pedro/</a>
phone: +351 239 791 137; fax: +351 239 832 568 </pre>
</body>
</html>