El objetivo del congreso Algebraic computing, soft computing, and program verification es relacionar distintos grupos que usan métodos matemáticos en la construcción o verificación de programas.
El congreso se celebrará en Castro Urdiales del 21 23 de abril.
VERIFY (The Verification Workshop es una serie de congresos cuyo principal objetivo es discutir los problemas que aparecen en desarrollo de las formalizaciones de sistemas durante su verificación formal. El lema del congreso es What are the verification problems? What are the deduction techniques?.
Entre los temas del congreso se encuentran:
El VERIFY 2010 se celebra el 20 de Julio en Edimburgo. La fecha de envío de artículos finaliza el 22 de Marzo.
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.