[Webmath] Workshop ThEdu'16 - cfp

[Pedro Quaresma]

             Call for Extended Abstracts & Demonstrations
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                             ThEdu'16
          Theorem Prover Components for Educational Software
             http://www.uc.pt/en/congressos/thedu/thedu16
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                           at CICM 2016
           Conferences on Intelligent Computer Mathematics
                July 25-29, 2016, Bialystok, Poland
                http://www.cicm-conference.org/2016
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

THedu'16 Scope:

  Educational software tools have technologies integrated from CAS, from 
DGS, from Spreadsheets and others, but not from TP with few exceptions: 
the latter have been developed to model mathematical reasoning in 
software -- rigorous reasoning as a companion of calculating, which 
guarantees the unsurpassed reliability of mathematics. Providing 
students with insight in and experience with this kind of reliability is 
considered an essential aim of mathematics education.

  TPs intrude into science as well as into industry: They are used to 
tackle difficult proofs in the science of mathematics, like the Four 
Color Problem or the Kepler Conjecture. In industry TPs are successfully 
used to verify safety critical software. This workshop addresses a 
window of opportunity during the still open development of TP.

  The workshop provides a meeting place for educators and developers of
  educational mathematics software and experts in TP. The discussions 
shall clarify the requirements of education, identify advantages and 
promises of TP for learning and motivate development of a novel kind of 
educational mathematical tools probably establishing a new generation of 
such tools.

Important Dates

     * Extended Abstracts:    4. June 2016
     * Author Notification:  18. June 2016
     * Final Version:         2. July 2016
     * Workshop Day:         25-29. July 2016

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 which kind 
of support TP should be provided?
   * Automated TP in geometry -- relating intuitive evidence with 
logical rigor: specific provers, adaption of axioms and theorems, visual 
proofs, etc.
   * Application of TP components in SW for engineers -- Formal Methods 
increasingly advance into engineering practice, so educational software 
based on TP components could anticipate that advancement.
   * 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 -- suggesting 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.

   Contributions should be submitted via THedu'16 easychair 
https://www.easychair.org/conferences/?conf=thedu16.

   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. Joint publication in companion with other 
CICM events is under consideration (e.g. http://ceur-ws.org/).

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, TUG 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


---//---

IJCAR 2016, International Joint Conference on Automated Reasoning, 27
June-1 July, 2016, Coimbra, Portugal.

---//---

-- 

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