LOPSTR es una serie congresos sobre síntesis y transformación de programas basados en la lógica. El primer congreso se celebró en 1988. Al principio se limitaba a la programación lógica, pero actualmente se ha ampliado a cualquier tipo de programación.
Este año se celebra el 20º congreso, LOPSTR 2010, en Hagenberg, Austria, del 23 al 25 de Julio. La fecha de envío de artículos finaliza el 25 de Marzo.
El SBMF 2010: 13th Brazilian Symposium on Formal Methods se celebrará en Natal (Rio Grande do Norte, Brazil) del 8 al 12 de Noviembre.
Entre los temas del congreso relacionados con el trabajo de nuestro grupo están:
La fecha de envío de artículos finaliza el 10 de Junio.
Dentro del marco del ITP’01 se va a celebrar el PAR-2010: Workshop on Partiality and Recursion in Interactive Theorem Provers.
Uno de los temas del congreso es la automatización de las demotraciones de terminación de funciones. Sobre este tema hemos trabajado en nuestro grupo tanto en ACL2 como en PVS.
El congreso se celebrará el 15 de Julio en Edimburgo. El plazo de envío de artículos termina el 19 de marzo.
Hoy publica “El País” el artículo España, blanco de más de cuarenta ciberataques. El artículo es un reportaje sobre “la guerra de los ciberespías” a raíz del ataque a Google. Además cuenta las iniciativas españolas para aumentar la seguridad.
Desde sus inicios los métodos formales se han aplicado a aumentar la seguridad de los sistemas críticos y, más generalmente, a la ingeniería de la seguridad. Dado el uso de la Red, sus programas y servicios se están convirtiendo en sistemas críticos y, por tanto, en campo de aplicación de los métodos formales. Muestra del interés de los sistemas de Red para los métodos formales son la realización de tesis como las siguientes
Read More “Métodos formales y seguridad en la Red”
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.