ThEdu'23 call for papers

Call for Extended Abstracts & Demonstrations

**************************************************************************
                                   ThEdu'23
          Theorem proving components for Educational software
                                 5 July 2023
                 http://www.uc.pt/en/congressos/thedu/ThEdu23
**************************************************************************
                                at CADE 2023
             29th international Conference on Automated Deduction
                                  July 1-5, 2023
                        Co-Located with FSCD 2023
                                    Rome, Italy
**************************************************************************

THedu'23 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 a new software generation and
   to discuss existing systems.

Invited Speaker
     Yves Bertot, INRIA, Sophia Antipolis

Important Dates

  * Extended Abstracts: 10 April 2023
  * Author Notification: 8 May 2023
  * Workshop Day: 5 July 2023

Topics of interest include:

  * interactive and automated theorem provers designed or adapted
     for education;
  * 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 step guidance;
  * combination of symbolic artificial intelligence and machine
     learning for the teaching of proof and proving;
  * design of libraries of statements and/or formal proofs for use
     in educational systems;
  * graphical user interfaces for use in the classroom;
  * specific systems integrated in educational components such as
     dynamic geometry software, automatic provers providing readable
     output or explicit counter examples, etc.;
  * the role of logic and formal systems in the didactic of proof
     and proving in mathematics education;
  * experience reports about the use of automatic or interactive
     theorem provers for teaching.

Submission

   We welcome submission of extended abstracts and demonstration
   proposals presenting original unpublished work which is not been
   submitted for publication elsewhere.

   All accepted extended abstracts and demonstrations will be presented
   at the workshop. Abstracts will be made available online.

   Extended abstracts and demonstration proposals should be submitted
   via easychair, https://easychair.org/conferences/?conf=thedu23
   formatted according to
http://www.easychair.org/publications/easychair.zip

   Extended abstracts and demonstration proposals should be 5 pages
   (+|-1) in length and are to be submitted in PDF format.

   At least one of the authors of each accepted extended
   abstract/demonstration proposal is expected to attend THedu'23 and
   presents their extended abstract/demonstration.



Program Committee (tentative)

   Francisco Botana, University of Vigo at Pontevedra, Spain
   David Cerna, Johannes Kepler University, Austria
   Joao Marcos, Federal University of Rio Grande do Norte, Brazil (co-chair)
   Filip Maric, University of Belgrade, Serbia
   Adolfo Neto, Federal University of Technology – Parana, Brazil
   Walther Neuper,  Johannes Kepler University, Linz, Austria (co-chair)
   Pedro Quaresma, University of Coimbra, Portugal (co-chair)
   Vanda Santos, University of Aveiro, Portugal
   Anders Schlichtkrull, Aalborg University, Denmark
   Wolfgang Schreiner, Johannes Kepler University, Austria
   M. Pilar Velez, Nebrija University, Spain
   Jorgen Villadsen, Technical University of Denmark, Denmark

Proceedings

   Abstracts and system descriptions will be available in ThEdu'23
   Web-wage. After the Workshop an open call for papers will be
   issued. It is expected that authors of accepted extended abstract
   can submit a substantially revised version, extended to 14-20 pages,
   for publication by the Electronic Proceedings in Theoretical
   Computer Science (EPTCS).

--

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