Logic List Mailing Archive

CfP postproceedings ThEdu 2018 in EPTCS, Deadline: 18 Nov 2018

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

THedu'18 Postproceedings:

   ThEdu's programme comprised seven contributions, presented also in the
   webpages. 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'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

  * 2nd call for papers:        10 Sep 2018
  * Submission (full papers):   18 Nov 2018
  * Notification of acceptance: 17 Dec 2018
  * Revised papers due:         21 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 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
   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)
   Vanda Santos, CISUC, Portugal
   Wolfgang Schreiner, Johannes Kepler University, Austria
   Burkhart Wolff, University Paris-Sud, France

--
[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