[ThEdu] ThEdu'18 post proceedings at EPTCS

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear Members of the ThEdu interest group.

Below the cfp for ThEdu'18 post proceedings at EPTCS.

Please help us to disseminate this cfp, open to all who wish to 
contribute for the EPTCS volume.


                           Open Call for Papers
**************************************************************************
                         Post-proceedings ThEdu'18
            Theorem proving components for Educational software
                http://www.uc.pt/en/congressos/thedu/thedu18
**************************************************************************
                             Workshop at FLoC
                     Federated Logic Conference 2018
                         http://www.floc2018.org/
**************************************************************************

THedu'18 Post-proceedings:

  ThEdu'18 programme comprised seven contributions (see ThEdu'18 
web-page). The ThEdu'18 post-proceedings are open to the full
  papers versions of the contributions and also to all those who want 
to contribute. The contributions' topics are diverse according to
  ThEdu's scope. All submissions will undergo review according to EPTCS 
standards.

THedu'18 Scope:

  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.

Topics of interest include:

 * methods of automated deduction applied to checking students' input;
 * methods of automated deduction applied to prove post-conditions for 
particular problem solutions;
 * combinations of deduction and computation enabling systems to 
propose next steps;
 * automated provers specific for dynamic geometry systems;
 * proof and proving in mathematics education.

Important Dates

 * Call for papers:            23 Jul 2018
 * 2nd call for papers:        10 Sep 2018
 * Submission (full papers):   18 Nov 2018
 * Notification of acceptance: 16 Dec 2018
 * Revised papers due:         20 Jan 2019

Submission

  We welcome submission of papers presenting original unpublished work 
which is not been submitted for publication elsewhere.

  The authors should comply with the "instructions for authors", LaTeX 
style files and accept the "Non-exclusive license to distribute" of
  EPTCS:

    Instructions for authors (http://info.eptcs.org/)
    LaTeX style file and formatting instructions (http://style.eptcs.org/)
    Copyright (http://copyright.eptcs.org/)

  Papers should be submitted via easychair, 
https://easychair.org/conferences/?conf=thedu18.

  In case the accepted contributions do not reach the standards of 
EPTCS in term of number of submission, there will be an alternative
  mean for the publication, it will be as a tech report at CISUC, 
https://www.cisuc.uc.pt/techreports.

Program Committee

  Francisco Botana, University of Vigo at Pontevedra, Spain
  Roman Hašek, University of South Bohemia, Czech Republic
  Filip Maric, University of Belgrade, Serbia
  Walther Neuper, Graz University of Technology, Austria (co-chair)
  Pavel Pech, University of South Bohemia, Czech Republic
  Pedro Quaresma, University of Coimbra, Portugal (co-chair)
  Philippe R. Richard, Université de Montréal, Canada
  Vanda Santos, CISUC, Portugal
  Wolfgang Schreiner, Johannes Kepler University, Austria
  Burkhart Wolff, University Paris-Sud, France

Pedro Quaresma & Walther Neuper

---//---
ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018
AISC 2018, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, September 16-19, 2018
CADE 2019, 27th International Conference on Automated Deduction, 25-30 August 2019, Natal, Brazil
---//---

--

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: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568