[ThEdu] Applications in Education of Automated Deduction in Geometry

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

Dear TheEduers

A related workshop, more specific to geometry

Applications in Education of Automated Deduction in Geometry
     one day Workshop at
ADG 2023 -- 14th International Conference on Automated Deduction in Geometry, September 20, 2023, Belgrade, Serbia
https://adg2023.matf.bg.ac.rs/

Scope:

Due to its formal, logical, and spatial properties, geometry is well suited for the exploration of new knowledge, new properties that arise
from different constructions and new insights into already known constructions, to the exploration of proofs of new conjectures, to the
exploration of new proofs of known theorems. Following the footsteps of ICMI19 study "Proof and Proving in Mathematics Education", this
workshop will explore applications, in an educational setting, of automated deduction in geometry.


Relevant topics include (but are not limited to):

* The exploration of environments where Dynamic Geometry System (DGS) and Geometry Automated-Theorem-Provers GATP are combined.
* The many relations/problems/opportunities that raise from the use of the DGS in education, when related to informal and formal proofs.

Invited Speaker

* Zlatan Magajna, University of Ljubljana, Slovenia: Workshop OK Geometry

Important Dates (ADG 2023):

* June 5: extended abstracts submission
* July 3: notification of acceptance
* September 4: final version due

Submissions:

Visit the ADG 2023 web site or contact Filip Marić, University of Belgrade, Serbia (filip@matf.bg.ac.rs) for more information.

-- 

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

Assistant Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D.Dinis
3000-143 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568