Email Gateway (Aug 22 2022 at 16:02): Email Gateway (Aug 22 2022 at 16:02):From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Apologies for multiple copies ….
>
Call for Papers
Post-Proceedings --- ThEdu'17
-
Electronic Proceedings in Theoretical Computer Science
ThEdu'17 --- Theorem proving components for Educational software
6 August 2017, Gothenburg, Sweden, at CADE26
http://www.uc.pt/en/congressos/thedu/thedu17
Post-Proceedings THedu'17 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 brought
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. This call is open for everyone,
also those who did not participate in the workshop.
Important Dates (EPTCS Post-Proceedings)
* Call for papers: 08 Sep 2017
* Submission (full papers): 17 Nov 2017
* Notification of acceptance: 15 Dec 2017
* Revised papers due: 19 Jan 2018
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;
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 and formatting instructions (http://style.eptcs.org/)
Copyright (http://copyright.eptcs.org/)
Papers should be submitted via easychair,
https://easychair.org/conferences/?conf=thedu17 .
Program Committee
Francisco Botana, University of Vigo at Pontevedra, Spain
Achim Brucker, University of Sheffield, United Kingdom
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
Burkhart Wolff, University Paris-Sud, France
Last updated: Nov 21 2024 at 12:39 UTC