AD + GeoGebra
Centro Internacional de Encuentros Matemáticos (CIEM)
8-9 de febrero de 2010
Nowadays, in many countries --and remarkably in Europe-- GeoGebra (GG) is becoming the software of choice for Dynamic Geometry. On the other hand, Automatic Deduction (AD), in the context of elementary geometry, has reached a certain senior status, addressing more ambitious --closer to user needs-- goals, and working towards the development of prototypes performing enough to consider their use in the educational context. Thus, diverse initiatives launched around the summer of 2009, with occasion of the first International GeoGebra Conference, highlighted the opportunity of considering the inclusion of Automatic Deduction features in GeoGebra.
This workshop AD+GeoGebra intends to bring together a few AD and GG experts, as well as specialists in the use of new tools for Math education, in order to discuss and elaborate a roadmap towards endowing GG with diverse AD features in a near future.
When: Arrival, dinner Feb. 7, 2010. Sunday. Departure: morning Feb. 10, 2010, Wednesday.
Where: Centro Internacional de Encuentros Matematicos (CIEM), Castro-Urdiales, (Cantabria, Spain).
9-9:30 Some welcome words by the organizers. Participants are encouraged to give a short speech (about 30 seconds!) introducing to each other. 9:30-11 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry. Part I. Potential speakers:
11-11:30 Coffee Break 11:30-13:30 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry. Part II. Potential speakers:
14- 16 Lunch at Las Rocas Afternoon 16-17:30 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry. Part III. Potential speakers:
17:30-18 Coffee Break 18-19 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry. Part IV. Potential speakers:
19-19:30 The Math Education point of view. Part I.
19:30-20 Global discussion.
21:30 Dinner at Las Rocas
Tuesday, Feb. 9
9-10:30 A short introduction to GeoGebra and to its characteristics concerning possible inclusion of AD features.
10:30-11 Using GeoGebra at Schools.
11-11:30 Coffee Break 11:30-12 The Math Education point of view. Part II.
12-13 Some Math Education software
14-16 Lunch at Las Rocas Afternoon 16-17:30 Collective ellaboration of a realistic "wish list" for a possible AD+GeoGebra prototype. Global discussion.
17:30-18 Coffee Break 18-19:30 Building up a detailed strategy to achieve AD+GeoGebra. Assignment of tasks for the near future. Global discussion.
20:30 Dinner at Marcelo's
Miguel Á. Abánades, C.E.S. Felipe II, U. Complutense
Francisco Botana, U. Vigo
José Mª Cifuentes, Addlink Software
Jesús Escribano, U. Complutense
Josep Mª Fortuny Aymemí, U. Autónoma de Barcelona
Mª José González López, U. Cantabria
Laureano González Vega, U. Cantabria
Markus Hohenwarter, U. Linz
Predrag Janicic, U. Belgrado
Yves Kreis, U. Luxemburgo
Rafael Losada, I.E.S. Pravia
Antonio Montes, U. Politecnica de Cataluña
Julien Narboux, U. Estrasburgo
Walther Neuper, T.U. Graz
Abel Pascual, Addlink Software
Jordi Pascual, U. Barcelona
Tuan-Minh Pham, INRIA, Sophia-Antipolis
Nikolaj Popov, Risc-Linz
Eloi Puertas, U. Barcelona
Pedro Quaresma, U. Coimbra
Tomás Recio, U. Cantabria
Philippe R. Richard, U. Montreal
Eugenio Roanes Lozano, U. Complutense
Judit Robu, Universidad Babeş-Bolyai
José Luis Valcarce, I.E.S. Pontepedriña
Mª Pilar Vélez Melón, U. Nebrija
Wolfgang Windsteiger, Risc-Linz