Logic List Mailing Archive

CfP proceedings of cancelled workshop ThEdu 2020 in EPTCS, Deadline: 14 Jun 2020

Open Call for Papers
**************************************************************************
                         Proceedings for ThEdu'20
             Theorem Proving Components for Educational Software
                http://www.uc.pt/en/congressos/thedu/thedu20
**************************************************************************
                         to be published by EPTCS,
            Electronic Proceedings in Theoretical Computer Science
                        http://published.eptcs.org
**************************************************************************

Synopsis

   ThEdu'20 was accepted as a workshop at IJCAR 2020, the International
   Joint Conference on Automated Reasoning, June 29 - July 5, 2020,
   Paris, France (https://ijcar2020.org/).

   The interest expressed for the workshop was such, that the PC
   decided to publish proceedings, in spite of cancellation after IJCAR
   become virtual. Thanks to a decision of the EPTCS editorial board
   adapting to the specific situation, the proceedings already received
   the approval to be published by EPTCS.

ThEdu'20 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.

Important Dates

  * Full Papers:         14 June 2020
  * Author Notification: 12 July 2020
  * Revised papers due:  13 Sept.2020

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.

Submission

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

   All contributions will be reviewed (blind review) by three members
   of the PC for each submission, to meet the high standards of EPTCS.

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

Program Committee

   Francisco Botana, University of Vigo at Pontevedra, Spain
   David Cerna, Johannes Kepler University, Austria
   Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil (co-chair)
   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
   Jørgen Villadsen, Technical University of Denmark, Denmark

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