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).
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info