[ThEdu] ThEdu'24 - Proceedings

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

Dear ThEduers

Below the open cfp for the proceedings for ThEdu'24 at EPTCS (we still 
have to apply, but we do not foresee any problem in that).

All the authors of submissions to the workshop are strongly invited to 
submit to the proceedings, alongside with all that can see this as a 
good opportunity to publish your last pieces of research.

Cheers,

Julien Narboux

Walther Neuper

Pedro Quaresma

==============================================================

                         Open Call for Papers
**************************************************************************
                        Proceedings for ThEdu'24
            Theorem Proving Components for Educational Software
               http://www.uc.pt/en/congressos/thedu/thedu23
**************************************************************************
                        to be published by EPTCS,
           Electronic Proceedings in Theoretical Computer Science
                       http://published.eptcs.org
**************************************************************************

Synopsis

The workshop ThEdu'24 happened on 1-2 of July, 2024, as a satellite
event of IJCAR2024. It was a very lively meeting. The programme was
comprised of one invited talk, by Jeremy Avigad, Carnegie Mellon
University, USA as well as fourteen regular contributions, whose
abstracts and presentations may be found in the workshop's webpage.

Now the proceedings are being planned, intending to collect full
versions of the contributed papers, as well as new contributions.
The contributions' range of topics is diverse, according to ThEdu's
scope, and this is a call for papers, open to everyone, also those
who did not participate in the workshop. All papers will undergo
reviewing according to the EPTCS standards.

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 the new software
  generation and to discuss existing systems.

Topics of interest include:

   *  Mechanical reasoning applied to generating exercises, checking
      students’ input or bringing feedback (next-step guidance,
      counter-examples finding, ...).
   * Interactive and automated theorem provers designed or adapted for
      education.
   * Combination of symbolic and non-symbolic artificial intelligence
     methods for the teaching and learning of mathematics.
   * Design of libraries of statements and/or formal proofs for use in
     educational systems.
   * Graphical or textual user interfaces for theorem provers adapted
    or designed for use in the classroom.
   * Automatic and interactive theorem prover with natural language
     input or output.
   * Integration of interactive and automated theorem proving with
     dynamic geometry software.
   * Evaluation of the impact of the use of these systems on teaching,
     student learning and student perception of proofs.
   * Experience reports about the use of mechanical reasoning systems
     for teaching.

Important Dates

   * Submission (Full Papers): 27 October 2024
   * Notification of acceptance: 24 November 2024
   * Revised papers due: 5 January 2025

Submission

  We welcome submission of full papers (12--20 pages, excluding
  bibliographic references and appendix) presenting original
  unpublished work which is not being submitted for publication
  elsewhere. If relevant, submissions are expected to be accompanied
  by an open access repository, containing the relevant pieces of data
  such as the source files of the implementation for software,
  formalizations in a proof assistant, or survey results.

  All contributions will be reviewed (at least three blind reviews) to
  meet the high standards of EPTCS.

  The author should comply with the EPTCS's "instructions for authors"
  (http://info.eptcs.org/), and accept the "Non-exclusive license to 
distribute"
  (http://copyright.eptcs.org/) and use the EPTCS's "LaTeX Style"
  (http://style.eptcs.org/)

  Papers should be submitted via EasyChair, 
https://easychair.org/conferences/?conf=thedu24.

Program Committee

  João Marcos, Federal University of Rio Grande do Norte, Brazil
  Filip Marić, 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 Vélez, Nebrija University, Spain
  Jørgen Villadsen, Technical University of Denmark, Denmark
  Kitty Yan, University of Toronto, Canada



--

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