IMDEA Software

Iniciativa IMDEA

noticias y eventos

22 de abril de 2021

El proyecto PICOCRYPT, liderado por el Instituto IMDEA de Software, garantizará la integridad, la privacidad y la eficacia del cálculo sobre los datos almacenados en la nube

08 de abril de 2021

El congreso, que tendrá lugar desde el 23 al 27 de mayo, ha publicado recientemente el listado de papers aceptados

11 de marzo de 2021

Los miembros del Comité Ejecutivo de ALP son elegidos por votación popular dentro de la comunidad entre los candidatos propuestos por sus contribuciones y reconocimiento dentro de la programación lógica

04 de marzo de 2021

"Relational logics for higher-order effectful programs"

actualidad

empleo