Logic List Mailing Archive

CfP ThEdu'17 post-proceedings in EPTCS, Deadline: 17 Nov 2017

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:            31 Aug 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 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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam