[ThEdu] ThEdu'24 2nd call for papers

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

Dear ThEduers

The 2nd call for Extended Abstracts & Demonstrations & ThEdu'23 EPTCS volume it is almost done... a couple more days and it will be finish.

            2nd Call for Extended Abstracts & Demonstrations
**************************************************************************
                                ThEdu'24
           Theorem proving components for Educational software
                              2 July 2024
              http://www.uc.pt/en/congressos/thedu/ThEdu24
**************************************************************************
                 at IJCAR 2024,  July 1-6, 2024,  Nancy, France
**************************************************************************

THedu'24 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
   Jeremy Avigad, Carnegie Mellon University, Teaching with Lean

Important Dates

  * Extended Abstracts: 10 April 2024
  * Author Notification: 8 May 2024
  * Workshop Day: 2 July 2024

Topics of interest include:

  * interactive and automated theorem provers designed or adapted
    for education;
  * methods of automated deduction applied to checking students' input;
  * 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 theorem proving 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=thedu24
   formatted according to http://www.easychair.org/publications/easychair.zip

   Extended abstracts and demonstration proposals should be 5-10 pages
   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'24 and
   presents their extended abstract/demonstration.


Program Committee (tentative)

   Joao Marcos, Federal University of Rio Grande do Norte, Brazil
   Filip Maric, University of Belgrade, Serbia
   Julien Narboux, University of Strasbourg, France, (co-chair)
   Walther Neuper,  Johannes Kepler University, Linz, Austria (co-chair)
   Pedro Quaresma, University of Coimbra, Portugal (co-chair)
   Philppe R. Richard, University of Montréal, Canada
   Vanda Santos, University of Aveiro, Portugal
   Anders Schlichtkrull, Aalborg University, Denmark
   Wolfgang Schreiner, Johannes Kepler University, Austria
   Athina Thoma, University of Southampton, UK
   M. Pilar Velez, Nebrija University, Spain
   Jorgen Villadsen, Technical University of Denmark, Denmark
   Kitty Yan, University of Toronto, Canada


Proceedings

   Abstracts and system descriptions will be available in ThEdu'24
   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

Assistant Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D.Dinis
3000-143 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