Email Gateway (Aug 22 2022 at 18:29): Email Gateway (Aug 22 2022 at 18:29):From: Walther Neuper <wneuper@ist.tugraz.at>
Open Call for Papers
Postproceedings for ThEdu'18 by EPTCS
Theorem proving components for Educational software
http://www.uc.pt/en/congressos/thedu/thedu18
Workshop ThEdu at FLoC
Federated Logic Conference 2018
http://www.floc2018.org/
THedu'18 Postproceedings:
ThEdu's programme comprised seven contributions, presented also in the
webpages. Now postproceedings are planned to collect the contributions
upgraded to full papers. The contributions' topics are diverse
according to ThEdu's scope, and this is a call open for everyone, also
those who did not participate in the workshop. All papers will undergo
review according to EPTCS standards.
THedu'18 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:
methods of automated deduction applied to prove post-conditions
for particular problem solutions;
combinations of deduction and computation enabling systems
to propose next steps;
automated provers specific for dynamic geometry systems;
Important Dates
Submission
We welcome submission of papers presenting original unpublished work
which is not been submitted for publication elsewhere.
The authors should comply with the "instructions for authors", LaTeX
style files and accept the "Non-exclusive license to distribute" of
EPTCS:
Instructions for authors (http://info.eptcs.org/)
LaTeX style file, formatting instructions (http://style.eptcs.org/)
Copyright (http://copyright.eptcs.org/)
Papers should be submitted via easychair,
https://easychair.org/conferences/?conf=thedu18.
In case the contributions finally do not reach the standards of EPTCS
in number, there will be an alternative to publish as a techreport
at CISUC https://www.cisuc.uc.pt/publications.
Program Committee
Francisco Botana, University of Vigo at Pontevedra, Spain
Roman Hašek, University of South Bohemia, Czech Republic
Filip Maric, University of Belgrade, Serbia
Walther Neuper, Graz University of Technology, Austria (co-chair)
Pavel Pech, University of South Bohemia, Czech Republic
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Vanda Santos, CISUC, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria
Last updated: Apr 26 2024 at 08:19 UTC