Demostración automática en Geometría
El Eighth International Workshop on Automated Deduction in Geometry (ADG 2010) se celebrará en Munich del 22 al 24 de Julio de 2010.
El ADG es un foro donde se tratan cuestiones realtivas a la intersección de la geometría y la demostración automática.
El envío de artículos termina el 22 de Febrero.