IMDEA Software

Iniciativa IMDEA

noticias y eventos

30 de noviembre de 2020

Este trabajo demuestra que el lenguaje de aserción de la lógica de la separación puede ser formulado en términos algebraicos

20 de noviembre de 2020

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

21 de octubre de 2020

La jornada contó con 8 ponencias muy interesantes, dos de ellas sobre publicaciones próximas, y un coloquio

09 de octubre de 2020

Una nueva perspectiva teórica sobre una colección de problemas abiertos de construcciones clásicas de autómatas y algoritmos bien establecidos

actualidad

empleo