[Webmath] eduTPS: "Justifying (in) Math" cfp

[Pedro Quaresma]

Deadline extended: Call for Abstracts an Posters
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                   eduTPS: "Justifying (in) Math"
            Working Group on Education and TP Technology
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                           at CADGME 2016
             September 7-10, 2016, Targu Mures, Romania
                  https://cadgme.ms.sapientia.ro/
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

New Deadline:
   Abstracts: May 2, 2016
   Posters:   May 2, 2016

The abstracts of contributed talks and posters will be published on the
conference proceedings website. The length is maximum 300 words.
Abstracts and posters should be submitted in as unformatted texts on the
Easy Chair system: https://easychair.org/conferences/?conf=cadgme2016


Aims of the working group eduTPS:

Mathematics is not only calculating, numeric and symbolic calculation,
not only explaining with figures --- the distiguishing feature of math
is justifying and deducing properties of mathematical objects and
operations on firm grounds of logics.
So Computer Algebra Systems (CAS) model calculation, Dynamic Geometry
Systems (DGS) model figures --- and (Computer) Theorem Provers (TPS)
model deduction and reasoning, mechanised by formal logic.

TPS are widely unknown despite the fact, that recent advances in
mathematics could not have been done without them (e.g. mechanised
proofs of the Four Colour Theorem, of the Kepler Conjecture, etc.), that
TPS are becoming indispensable in verification of requirements on
complex technical systems (e.g. google car) and despite the fact, that
leading TPS have math mechanised from first principles (axioms) to all
undergraduate math and beyond.
So the working group "eduTPS: justifying math" addresses a wide range of
topics, from educational concepts of reasoning, explaining and
justifying and from respective classroom experience on the one side to
technical concepts and software tools, which mechanise and support these
mathematical activities, on the other side.

We elicit contributions from educators to the educational side as well
as TP experts to the technical side --- the working group shall
interactively elaborate on the connections between the two sides,
connections which are not yet clarified to a considerable extent.
Narrowing the apparent gap between TP technology and educational
practice (and theory!) concerns the distinguishing essence of
mathematics and may well lead to considerable innovations in how we
teach and learn mathematics in the future.


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 by TP should be provided?
   * Automated TP in geometry -- relating intuitive evidence with logical
     rigor: specific provers, adaption of axioms and theorems, visual
     proofs, etc.
   * 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 dialogues, 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, from
     educational tools to professional tools for engineers and
     scientists.


Programme Committee:

   Zoltán Kovács, Johannes Kepler University, Austria
   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)
   Judit Robu, Babeş-Bolyai University Cluj, Romania
   Vanda Santos, CISUC, Portugal
   Róbert Vajda, University of Szeged, Hungary
   Wolfgang Windsteiger, Johannes Kepler University, Austria

---//---

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

UITP 2016, User Interfaces for Theorem Provers
colocated with IJCAR 2016, 2 July, 2016, Coimbra, Portugal.

ThEdu'16, International Workshop on Theorem proving components for Educational software
colocated with CICM 2016, 25-29 July, 2016, Bialystok, Poland

Automated Theorem Proving in Dynamic Geometry: Current Achievements
Special Session at ACA'2016, 1-4 August, 2016 in Kassel, Germany

CADGME 2016, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education
7-10 September, 2016 Targu Mures, Romania

---//---

-- 

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