[ecoop-info] Cfp ThEdu'19 post-proceedings at EPCTS, Theorem Proving Components for Educational Software

Pedro Quaresma pedro at mat.uc.pt
Mon Sep 16 11:53:53 CEST 2019

                           Open Call for Papers


                   Postproceedings for ThEdu'19 by EPTCS

            Theorem Proving Components for Educational Software



                         Workshop ThEdu'19 at CADE27



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 


 * 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


  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 


  Papers should be submitted via easychair,   


  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 


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

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
Elec. mail: pedro at mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568 

More information about the ecoop-info mailing list