posted by organizer: thedu || 412 views || tracked by 3 users: [display]

ThEdu - Post-Proceedings 2019 : International Workshop on Theorem proving components for Educational software - Post Proceedings

FacebookTwitterLinkedInGoogle

Link: http://www.uc.pt/en/congressos/thedu/thedu19/postproceedings
 
When Aug 25, 2019 - Aug 25, 2019
Where Natal, Brazil
Submission Deadline Nov 18, 2019
Notification Due Dec 16, 2019
Final Version Due Jan 20, 2020
Categories    automated deduction education   formal methods education
 

Call For Papers

Open Call for Papers
**************************************************************************
Postproceedings for ThEdu'19 by EPTCS
Theorem Proving Components for Educational Software
http://www.uc.pt/en/congressos/thedu/thedu19
**************************************************************************
Workshop ThEdu'19 at CADE27
http://www.cade-27.info/
**************************************************************************

THedu'19 Postproceedings:

ThEdu's programme comprised one invited contribution and four regular
contributions, whose abstract are in the workshop web-page. 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'19 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 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
steps;
* automated provers specific for dynamic geometry systems;
* proof and proving in mathematics education.

Important Dates

* Call for papers: 16 Sep 2019
* Submission (full papers): 18 Nov 2019
* Notification of acceptance: 16 Dec 2019
* Revised papers due: 20 Jan 2020

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=thedu19.

In case the accepted 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
João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
Filip Maric, University of Belgrade, Serbia
Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
Walther Neuper, Graz University of Technology, Austria (co-chair)
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Philippe R. Richard, Université de Montréal, Canada
Vanda Santos, University of Aveiro, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria


Related Resources

EDM 2020   EDM2020: 13th International Conference on Educational Data Mining
ICTRS 2019   International Conference on Telecommunications and Remote Sensing / ACM proceedings / SCOPUS
Reshaping the Nation 2019   Reshaping the Nation: Collective Identities and Post-War Violence in Europe 1944–48
IJCI 2019   International Journal on Cybernetics & Informatics
ICTRS 2020   Ninth Conference on Telecommunications and Remote Sensing / ACM proceedings / SCOPUS
ETLTC 2020   2nd ACM Chapter Conference on Educational Technology, Language and Technical Communication
ICEduTech 2020   7th International Conference on Educational Technologies 2020
ACM--ICEIT--Ei Compendex, Scopus 2020   ACM--2020 9th International Conference on Educational and Information Technology (ICEIT 2020)--Ei Compendex, Scopus
ICMET--ACM, Ei and Scopus 2020   ACM--2020 the 2nd International Conference on Modern Educational Technology (ICMET 2020)--EI Compendex, Scopus
ExRe(y) 2020   ExtReme 21: Going Beyond in Post-Millennial North-American Literature and Culture