Esta semana se ha celebrado un curso en la Facultad de Matemáticas sobre Software libre frente a software comercial: posibilidades y aplicaciones a la docencia. Dentro del curso hice una presentación de sistemas de razonamiento automático. En la presentación comento brevemente cómo trabajar con distintos sistemas de razonamiento (Otter/MACE, ACL2, PVS e Isabelle/Isar) usados por nuestro grupo y algunas aplicaciones de los distintos sistemas.
IJCAR (The International Joint Conference on Automated Reasoning) es la unión de los distintos congresos de razonamiento automático y abarca todos sus aspectos: fundamentos, implementaciones y aplicaciones.
El IJCAR 2010 se celebra el 16 de Julio en Edimburgo. El envío de artículos ermina el 15 de Enero.
Otro de los objetivos de Vestigium es servir de dario de las publicaciones que realizo en mi sitio en la Red.
Un apartado de dicho sitio lo constituye el material para las asignaturas que imparto.
Este curso una de las asignaturas que estoy impartiendo es I1M (Informática de 1º del Grado en Matemáticas).
En I1M se publican las relaciones de ejercicios a lo largo del curso.
Hoy he publicado la relación 12 con ejercicios correspondientes al Tema 9 (Declaraciones de tipos y clases).
A lo largo de esta semana los alumnos escribirán las soluciones de la relación 12.
Recientemente se ha publicado un . Contiene dos artículos con formalizaciones de conocimiento matemático:
La revista Journal of Formalized Reasoning es una revista libre en la Red sobre el razonamiento formalizado. Como indica en la revista, publica artículos que describan trabajos significativos de formalización, automática o semi-automática, en cualquier área, incluyendo la matemática clásica, matemática constructiva, algoritmos y verificación de programas. El énfasis de la revista está en las técnicas y metodologías de demostración y su impacto en el proceso de formalización. En particular, la revista ofrece un foro para comparar aproximaciones alternativas, mejorando la reutilización de soluciones y ofreciendo una clara visión del estado actual del campo.