<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<pre wrap="">(Apologies for duplicates)</pre>
Call for Papers <br>
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - -<br>
Post-Proceedings --- ThEdu'17<br>
-<br>
Electronic Proceedings in Theoretical Computer Science<br>
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - -<br>
<br>
ThEdu'17 --- Theorem proving components for Educational
software<br>
6 August 2017, Gothenburg, Sweden, at CADE26<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>
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - <br>
<br>
Post-Proceedings 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<br>
science, technology, engineering and mathematics. The workshop
brought 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. This call is open for
everyone, also those who did not participate in the workshop.<br>
<br>
Important Dates (EPTCS Post-Proceedings)<br>
<br>
* Call for papers: 08 Sep 2017<br>
* Submission (full papers): 17 Nov 2017<br>
* Notification of acceptance: 15 Dec 2017<br>
* Revised papers due: 19 Jan 2018<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>
Submission<br>
<br>
We welcome submission of papers presenting original unpublished
work which is not been submitted for publication elsewhere. <br>
<br>
The authors should comply with the "instructions for authors",
LaTeX style files and accept the "Non-exclusive license to
distribute" of<br>
EPTCS:<br>
Instructions for authors (<a class="moz-txt-link-freetext"
href="http://info.eptcs.org/">http://info.eptcs.org/</a>)<br>
LaTeX style file and formatting instructions (<a
class="moz-txt-link-freetext" href="http://style.eptcs.org/"><a class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a></a>)<br>
Copyright (<a class="moz-txt-link-freetext"
href="http://copyright.eptcs.org/">http://copyright.eptcs.org/</a>)<br>
<br>
<br>
Papers should be submitted via easychair, <a
class="moz-txt-link-freetext"
href="https://easychair.org/conferences/?conf=thedu17"><a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=thedu17">https://easychair.org/conferences/?conf=thedu17</a></a>
.<br>
<br>
<br>
Program Committee <br>
<br>
Francisco Botana, University of Vigo at Pontevedra, Spain<br>
Achim Brucker, University of Sheffield, United Kingdom<br>
Roman Hašek, University of South Bohemia, Czech Republic<br>
Filip Maric, University of Belgrade, Serbia<br>
Walther Neuper, Graz University of Technology, Austria (co-chair)<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>
<br>
<pre class="moz-signature" cols="72">---//---
CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal
ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018)
---//---
--
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>