Logic List Mailing Archive

CfP: ThEdu'24 : Theorem proving components for Educational software, 2 July 2024, Nancy (France)

            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, TBA



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)



   David Cerna, Johannes Kepler University, Austria

   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).




--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php