Los días 1 al 4 de agosto de 2016, se celebrará en Kassel (Alemania) la ?22nd Conference on Applications of Computer Algebra (ACA)?.
En la misma habrá una sesión especial coordinada por Z. Kovacs (Linz), F. Botana (IGG) y T. Recio (IGC), sobre demostración automática en geometría dinámica.
Podemos encontrar más información en el siguiente enlace.
Uno de los propósitos de esta sesión es ser un lugar de encuentro de la futura red europea de profesores de matemáticas que desarrollan o usan GeoGebra como herramienta Smart (la red I-geometrybook, recientemente solicitada a la UE y liderada por el prof. Quaresma, de la U. Coimbra, en la que también participa la FESPM y otras sociedades de profesores, además de desarrolladores de GeoGebra, expertos en lógica y razonamiento automático, en didáctica de las matemáticas, etc.)