IMDEA initiative

news & events

Jan 15, 2019

Manuel Carro will take part in the round table about research and innovation in Madrid.

Oct 26, 2018

Two IMDEA researchers advocating to industry the use of proof assistants for functional programming

Sep 28, 2018

Manuel Carro, director of the IMDEA Software Institute, will be interviewed in the Spanish National Radio.

Sep 6, 2018

Best paper award at DISC 2018 for the paper “Multi-shot distributed transaction commit”.