II Workshop IAxEM

📅 16-18 febrero de 2026 ·📍 Universidad Rey Juan Carlos, Madrid

Salón de Actos (Campus de Madrid-Quintana)
c/ Quintana 21

Modalidad: Presencial / Online

La Universidad Rey Juan Carlos acogerá el segundo encuentro del proyecto IAxEM financiado por la Comunidad de Madrid.

El workshop se desarrollará a lo largo de tres días. Durante las dos primeras jornadas se presentarán contribuciones relacionadas con la Modelización y el Razonamiento Automático en Educación Matemática, junto con espacios de discusión y debate. El tercer día estará dedicado a la presentación del estado actual del proyecto IAxEM y de las líneas de acción previstas, con el objetivo de recibir retroalimentación, críticas y sugerencias por parte de las personas participantes. 

II Workshop IAxEM

Conclusiones / Conclusions 

PROGRAMME

Link to Abstracts

Monday 16 February

 

09:30. Opening 

10:00. Irene Ferrando (U. Valencia). AI-supported mathematical modelling: insights into how learners solve modelling problems with generative AI.

10:30. Teresa Neto (U. Aveiro, Portugal). EduCITY for the Training of Mathematics Teachers: An Experience in a Museum Setting.

11:00. Coffee.

11:30. Janika Leoste (TalTech U, Estonia) (online). Training programs on LLMs in Higher education for University teachers: how to use AI in giving feedback and assesing.

12:00. Vanda Santos (U. Aveiro, Portugal) (online). Integrating GeoGebra and Artificial Intelligence in Mathematics Education: Enhancing Investigative Learning.

12:30. José Luis Rodriguez Blancas (U. Almería) (online). Mixed Reality for Mathematical Modelling.

13:00. Lunch.

15:00. Simone Jablonski (U. Paderborn, Alemania) (online). Primary Students’ Validation Processes in Fermi Problems: The Role of AI Solution Comparisons.

15:30. Karina Rizzo (U.Siglo 21. UTN.FRA, Argentina) (online). FotoGebra Discovery.

16:00. Melody García-Moya (U. Autónoma de Madrid) (online). Estrategias de resolución de problemas del alumnado en rutas matemáticas apoyadas por GeoGebra.

16:30. Alejandro Gallardo (U. Rey Juan Carlos, Colegio Rafaela Ybarra). Un libro de construcciones geométricas con GeoGebra en Formación del Profesorado. 

17:00. Susana Mata Torres (U. Burgos). PROMISED: An Integrated STEAM–CLIL Model for the Green and Digital Transition supported by AIg Reasoning.

17:30. Reflection on the day.

18:00. Closure.

 

 

Tuesday 17th February

 

09:30. Zoltán Kovács (Private University of Education, Diocese Linz, Austria). Mechanizing the complex number identity method with elimination.

10:00. Noah Dana-Picard (Jerusalem College of Technology, Israel). A jellyfish landed on a clam: singular points of an offset in 3D.

10:30. Eli Bagno (Jerusalem College of Technology, Israel). Exploration of a parametric family of envelopes in a CAS-DGS-AI environment.

11:00. Coffee.

11:30. Belen Ariño-Morera (U. Rey Juan Carlos). Using GeoGebra Discovery as a creative/collaborative learning partner  for locus computation.

12:00. María Rosario Rubio (U. Nebrija). Sobre la necesidad de un enfoque más simbólico en el cálculo de lugares en GeoGebra Discovery.

12:30. Juan Miguel Ribera-Puchades (U. Islas Baleares). Designing Didactic 3D-Printed Models for Visualization-Driven Problem Solving in Higher Education Mathematics.

13:00. Lunch.

15:00. Saulo Mosquera (U. Nariño, Colombia) (online). Sobre los comandos LugarGeométrico/EcuaciónLugar de GeoGebra Discovery.

15:30. Mathias Tejera (U. Tecnológica, Uruguay, JKU, Linz, Austria) (online). Más allá del objeto: ¿qué necesitan los docentes para integrar la impresión 3D en educación matemática?

16:00. Ilias Kotsireas (Wilfrid Laurier U., Canada) (online). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

16:30. Anthony Fernando Tinizhañay Feijóo y Digna Valeria Yupa Camas (UNAE, Ecuador) (online). Inteligencia Artificial y laboratorios virtuales: innovación pedagógica para la enseñanza de las ciencias.

17:00 Philippe Richard y Steven van Vaerenbergh (U. Montreal, Canadá, U. Cantabria) (online). El trabajo matemático en la interfaz de los grandes modelos de lenguaje: entre asistencia, cooperación y contrapunto tecnológico.

17:30. Reflection on the day.

18:00. Closure.

 

 

Wednesday 18th February


09:30. Trabajo en grupos. (open online)

11:00. Café.

11:30. Puesta en común (abierta online).

12:30. Discusión (open online)

13:00. Clausura.

13:30. Comida.

 

COMITÉ CIENTÍFICO
  • Angélica Martínez Zarzuelo (UCM)
  • Álvaro Nolla (UAM)
  • Tomás Recio (Nebrija)
  • Piedad Tolmos (URJC)
  • M. Pilar Vélez (Nebrija)
COMITÉ ORGANIZADOR

Angélica Martínez Zarzuelo, Álvaro Nolla, Tomás Recio, Piedad Tolmos (Presidenta), M. Pilar Vélez