[ThEdu] ThEdu'15, Theorem proving components for Educational software - cfp

[Pedro Quaresma <pedro@mat.uc.pt>]

                  Call for Extended Abstracts & Demonstrations

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

                                 ThEdu'15

            Theorem proving components for Educational software

                                     July 13-17, 2015

                  http://www.uc.pt/en/congressos/thedu/thedu15

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

 

                                          at CICM 2015

               Conferences on Intelligent Computer Mathematics

                                     Washington DC, USA

                            http://cicm-conference.org/2015

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

THedu'15 Scope:

  The distinguishing feature of mathematics is reasoning: questionable

  statements are proved by the laws of logic. This kind of reasoning

  makes mathematics a central thinking technology of modern science.

  Educational software tools have integrated technologies from

  Computer Algebra, from Dynamic Geometry, from Spreadsheets and

  others, but not from (computer) theorem proving (TP) with few

  exceptions: the latter have been developed to model mathematical

  reasoning in software; theorem provers (TPs) are successfully used

  to tackle difficult proofs in the science of mathematics, like the

  Four Color Problem or the Kepler Conjecture; and TPs are

  successfully used to verify safety critical software in industry.

  This workshop addresses support for reasoning in mathematics education

  by use of TP technology.

  The workshop addresses educators and designers and developers of TPs

  as well as of other educational mathematics software; and the

  discussions shall clarify the requirements of education, identify

  advantages and promises of TP for learning and motivate development

  of a novel kind of tools probably establishing a new generation of

  educational mathematical tools.

  

Important Dates

   * Extended Abstracts:   24 May 2015

   * Author Notification:  08 June 2015

   * Final Version:        21 June 2015

   * Workshop Day:         1 day (13-17 July)

   

Points of interest include:

  Adaption of TP - concepts and technologies for education: knowledge

    representation, simplifiers, reasoners; undefinednes, level of

    abstraction, etc.

  Requirements on software support for reasoning - reasoning appears

    as the most advanced method of human thought, so at which age

    and what kind of support TP can provide?

  Automated TP in geometry - relating intuitive evidence with logical

    rigor: specific provers, adaption of axioms and theorems, visual

    proofs, etc.

  Levels of authoring - in order to cope with generality of TP:

    experts adapt to specifics of countries or levels, teachers adapt

    to courses and students.

  Adaptive modules, students modeling and learning paths - services

    for user guidance provided by TP technology: which interfaces

    enable flexible generation of adaptive user guidance?

    Next-step-guidance, which suggests a next step when a student gets

    stuck in problem solving: which computational methods can extend

    TP for that purpose?

  TP as unifying foundation - for the integration of technologies like

    CAS, DGS, Spreadsheets etc: interfaces for unified support of

    reasoning?

  Continuous tool chains - for mathematics education from high-school

    to university, from algebra and geometry to graph theory etc.

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

  THedu'15 easychair (https://www.easychair.org/conferences/?conf=thedu15).

  

  Extended abstracts and demonstration proposals should be no more than

  4 pages in length and are to be submitted in PDF format. They must

  conform to the EPTCS style guidelines (http://style.eptcs.org/).

  

  At least one author of each accepted extended abstract/demonstration

  proposal is expected to attend THedu'15 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

Following ThEdu'13 and ThEdu'14 practise we expect to have a joint

proceedings of the workshops co-located with the Conferences on

Intelligent Computer Mathematics.  

---//---

CICM 2015, Conference on Intelligent Computer Mathematics, July 13-17, 2015, Washington DC, USA.

ThEdu'15, 4th International Workshop on Theorem proving components for Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, USA.

IJCAR 2016, International Joint Conference on Automated Reasoning, Coimbra, Portugal.

---//---

--

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

 

Professor Auxiliar Pedro Quaresma

Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia

Universidade de Coimbra

P-3001-454 COIMBRA, PORTUGAL

correioE: pedro@mat.uc.pt

p\'agina: http://www.mat.uc.pt/~pedro/

telef: +351 239 791 137; fax: +351 239 832 568