Logic List Mailing Archive

CfP EPTCS volume on theorem proving components for educational software, Deadline: 18 Nov 2019

Open Call for Papers
**************************************************************************
                    Postproceedings for ThEdu'19 by EPTCS
             Theorem Proving Components for Educational Software
                 http://www.uc.pt/en/congressos/thedu/thedu19
**************************************************************************
                          Workshop ThEdu'19 at CADE27
                           http://www.cade-27.info/
**************************************************************************

THedu'19 Postproceedings:

   ThEdu's programme comprised one invited contribution and four regular
   contributions, whose abstract are in the workshop web-page. Now
   postproceedings are planned to collect the contributions upgraded to
   full papers. The contributions' topics are diverse according to ThEdu's
   scope, and this is a call open for everyone, also those who did not
   participate in the workshop. All papers will undergo review according to
   EPTCS standards.

THedu'19 Scope:

   Computer Theorem Proving is becoming a paradigm as well as a
   technologica 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:            16 Sep 2019
  * Submission (full papers):   18 Nov 2019
  * Notification of acceptance: 16 Dec 2019
  * Revised papers due:         20 Jan 2020

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=thedu19.

   In case the accepted contributions finally do not reach the standards of
   EPTCS in number, there will be an alternative to publish as a techreport
   at CISUC https://www.cisuc.uc.pt/publications.

Program Committee

   Francisco Botana, University of Vigo at Pontevedra, Spain
   João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
   Filip Maric, University of Belgrade, Serbia
   Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
   Walther Neuper, Graz University of Technology, Austria (co-chair)
   Pedro Quaresma, University of Coimbra, Portugal (co-chair)
   Philippe R. Richard, Université de Montréal, Canada
   Vanda Santos, University of Aveiro, Portugal
   Wolfgang Schreiner, Johannes Kepler University, Austria

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam