[ThEdu] Extended deadline ThEdu'20/EPTCS

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

Dear ThEduers

Submission, full papers: 14 June new extended deadline: 21 June

                     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 IJCAR2020, 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 IJCAR2020 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

 * Call for papers: 17 April
 * Submission, full papers: 14 June new extended deadline: 21 June
 * Notification of acceptance: 12 July
 * Revised papers due: 13 September

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

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor 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