PAR-2010: Workshop on Partiality and Recursion in Interactive Theorem Provers

PorJosé A. Alonso

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.