[Event at CIG] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software

[Walther Neuper]

                 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 tohttp://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).