Exploración automática de teorías matemáticas
La exploración automática de teorías matemáticas es un tema emergente de investigación dentro de la Lógica Computacional. Su objetivo es desarrollar sistemas informáticos que ayuden en el desarrollo automático de teorías matemáticas, incluyendo la invención de definiciones, teoremas, conjeturas, problemas, ejemplos y algoritmos,
El primer congreso sobre exploración de teorías matemáticas fue el Automatheo 2009 y se celebró en Linz, Austria.
El segundo congreso sobre exploración de teorías matemáticas es el Automatheo 2010 y se celebrará en Edimburgo el 14 y 15 de Julio de 2010. La fecha de envío de comunicaciones finaliza el 2 de Junio.