IMDEA Software

IMDEA initiative

news & events

Apr 22, 2021

The PICOCRYPT project, led by the IMDEA Software Institute, will guarantee integrity, privacy and effectiveness of computation on data stored in the cloud

Apr 8, 2021

The conference, that will take place from the 23rd to 27th of May, has recently published the list of accepted papers.

Mar 11, 2021

ALP Executive Board members are elected by a popular vote within the community among candidates proposed for their contributions and recognition within logic programming

Mar 4, 2021

"Relational logics for higher-order effectful programs"