<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Call for Extended Abstracts & Demonstrations <br>
ThEdu'17<br>
Theorem proving components for Educational software<br>
<a class="moz-txt-link-freetext" href="http://www.uc.pt/en/congressos/thedu/thedu17">http://www.uc.pt/en/congressos/thedu/thedu17</a><br>
at<br>
CADE 26<br>
International Conference on Automated Deduction<br>
6-11 August 2017<br>
Gothenburg, Sweden<br>
<a class="moz-txt-link-freetext" href="http://www.cade-26.info/">http://www.cade-26.info/</a><br>
<br>
ThEdu'17 Scope<br>
<br>
Computer Theorem Proving is becoming a paradigm as well as a
technological base for a new generation of educational software in
science, technology, engineering and mathematics. The workshop
brings together experts in automated deduction with experts in
education in order to further clarify the shape of the new
software generation and to discuss existing systems.<br>
<br>
Topics of interest include:<br>
<br>
methods of automated deduction applied to checking students'
input;<br>
methods of automated deduction applied to prove
post-conditions for particular problem solutions;<br>
combinations of deduction and computation enabling systems to
propose next steps;<br>
automated provers specific for dynamic geometry systems;<br>
proof and proving in mathematics education.<br>
<br>
<br>
Important Dates<br>
<br>
Extended Abstracts: 18 June 2017<br>
Author Notification: 2 July 2017<br>
Final Version: 16 July 2017<br>
Workshop Day: 6 August 2017<br>
<br>
<br>
Submission<br>
<br>
Interested researchers are invited to submit extended abstracts
and system descriptions. Both kinds of submissions should be
approximately 5 pages in length and present original unpublished
work not submitted elsewhere.<br>
<br>
Submission is in PDF format via easychair,
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=thedu17">https://easychair.org/conferences/?conf=thedu17</a><br>
formatted according to
<a class="moz-txt-link-freetext" href="http://www.easychair.org/publications/easychair.zip">http://www.easychair.org/publications/easychair.zip</a><br>
<br>
The extended abstracts and system descriptions will be made
available online. At least one author is expected to presents
his/her submission at ThEdu'17.<br>
Joint publication in companion with other CADE26 events is under
consideration (as a volume in the EPiC Series in Computing).<br>
<br>
<br>
Program Committee<br>
<br>
Francisco Botana, University of Vigo at Pontevedra, Spain<br>
Achim Brucker, University of Sheffield, United Kingdom<br>
Walther Neuper, Graz University of Technology, Austria
(co-chair)<br>
Filip Maric, University of Belgrade, Serbia<br>
Pavel Pech , University of South Bohemia, Czech Republic<br>
Pedro Quaresma, University of Coimbra, Portugal (co-chair)<br>
Vanda Santos, CISUC, Portugal<br>
Wolfgang Schreiner, Johannes Kepler University, Austria<br>
Burkhart Wolff, University Paris-Sud, France<br>
</p>
<br>
<pre class="moz-signature" cols="72">---//---
CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal
ThEdu'17, 6th International Workshop on Theorem proving components for Educational software, 6-11 August 2017, Gothenburg, Sweden (at CADE 26)
---//---
--
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>