IMDEA Software

Iniciativa IMDEA

noticias y eventos

IMDEA Software, patrocinador del concurso de programación AdaByron 2026
7 de julio de 2026
Los días 3 y 4 de julio de 2026 se celebró en la Facultad de Informática de la Universidad Complutense de Madrid la XII edición del concurso de programación AdaByron

+ más

Cuarto Premio FME Lucas para Gilles Barthe, Juan Manuel Crespo y César Kunz
1 de julio de 2026
Gilles Barthe, Juan Manuel Crespo y César Kunz recibieron el premio FME Lucas por su artículo “Relational Verification Using Product Programs”, escrito durante su etapa en IMDEA Software

+ más

Daniela Ferreiro: mejor presentación de PROLE 2026
30 de junio de 2026
Daniela Ferreiro, investigadora PhD de IMDEA Software, obtiene el reconocimiento a la mejor presentación del congreso PROLE2026

+ más

IMDEA Software celebra una nueva edición de "My I[M]DEA Software: Poster Competition"
22 de junio de 2026
Este encuentro reúne a estudiantes en prácticas, doctorandos y miembros del centro para mostrar los avances realizados en sus áreas de investigación.

+ más

actualidad

empleo