[ecoop-info] 2nd Cfp ThEdu'17 at CADE26 - Theorem Proving Components for Educational Software

[Pedro Quaresma]

              Call for Extended Abstracts & Demonstrations (2nd)
- - - - - - - - - -  - - - - - - - - - - - - - - - - - - - - - - - - - -
- - -
                                  ThEdu'17
            Theorem proving components for Educational software
                                     6 August 2017
                  http://www.uc.pt/en/congressos/thedu/thedu17
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - -
                                          at CADE26
               International Conference on Automated Deduction
                                     6-11 August 2017
                    Gothenburg, Sweden
                            http://www.cade-26.info/
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - -

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

Invited Talk

  Francisco Botana, University of Vigo, Spain, "Theorem Proving
  Components in GeoGebra"

Important Dates

    * Extended Abstracts: 18 June 2017
    * Author Notification: 2 July 2017
    * Final Version: 16 July 2017
    * Workshop Day: 6 August 2017
 
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 extended abstracts and demonstration
  proposals presenting original unpublished work which is not been
  submitted for publication elsewhere.
 
  All accepted extended abstracts and demonstrations will be presented
  at the workshop. The extended abstracts will be made available
  online.
 
  Extended abstracts and demonstration proposals should be submitted
  via easychair,
  https://easychair.org/conferences/?conf=thedu17
  formatted according to                 
  http://www.easychair.org/publications/easychair.zip
 
  Extended abstracts and demonstration proposals should be approximately
  5 pages in length and are to be submitted in PDF format.
 
  At least one author of each accepted extended abstract/demonstration
  proposal is expected to attend THedu'17 and presents his/her extended
  abstract/demonstration.

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
   Burkhart Wolff, University Paris-Sud, France

Proceedings

 The extended abstracts and system descriptions will be published as a
 CISUC Technical Report series (ISSN 0874-338X). After presentation at
 the conference, selected authors will be invited to submit a
 substantially revised version, extended to 14-20 pages, for
 publication by the Electronic Proceedings in Theoretical Computer
 Science (EPTCS).

---//---

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

ThEdu'17, 6th International Workshop on Theorem proving components for Educational software, 6-11 August 2017, Gothenburg, Sweden (at CADE 26)

---//---

-- 

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