[ecoop-info] ThEdu'17 Post-proceedings

[Pedro Quaresma]

(Apologies for duplicates)

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

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

---//---

CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education,  2018 Coimbra, Portugal 

ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018)

---//---

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Auxiliar Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro at mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568