| Dear ThEduers,
We would like to inform you that the deadline for submitting papers to the post proceedings of ThEdu 2024 has been extended to December 1.
Submission are now open in Easychair, you can update your submission if you already have submitted an extended abstract to ThEdu’24 or create new submissions as new papers a more than welcome.
Julien Narboux
Walther Neuper
Pedro Quaresma
Début du message réexpédié :
De: Pedro Quaresma <pedro@mat.uc.pt>
Objet: [ThEdu] ThEdu'24 - Proceedings
Date: 4 juillet 2024 à 12:40:27 UTC+2
À: thedu@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
_______________________________________________
Thedu mailing list
Thedu@uc.pt
http://ml.ci.uc.pt/mailman/listinfo/thedu
|
