[ThEdu] Post-Procedings ThEdu'19/EPTCS cfp

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

Dear ThEduers

Below the cfp fot the Post-Procedings ThEdu/EPTCS

===//===

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


===//===

Cheers,

---//---
IJCAR 2020, Paris, France, 29th June - 2nd July 2020 
---//---

-- 

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