Este trabajo demuestra que el lenguaje de aserción de la lógica de la separación puede ser formulado en términos algebraicos
El trabajo explora la aplicación del Análisis Paramétrico de Recursos a la inferencia estática de cotas de consumo de gas y almacenamiento para contratos inteligentes
La jornada contó con 8 ponencias muy interesantes, dos de ellas sobre publicaciones próximas, y un coloquio
Una nueva perspectiva teórica sobre una colección de problemas abiertos de construcciones clásicas de autómatas y algoritmos bien establecidos
