UPM’s 6th Technology Innovation workshop took place at the IMDEA Software Institute. As part of its commitment to ...

EIT Digital Spain held its Innovation day 2018, with the participation of several keynote speakers and panelists. Manuel...

The Minister of Science, Technology, and Higher Education of Portugal, Mr. Manuel Heitor, visited the IMDEA Software Ins...

Miriam García (now at IST Austria), a former PhD student at the IMDEA Software Institute under the supervision of Pavith...

IMDEA researcher Zsolt István is one of the ETH Outstanding Doctoral Theses 2018 Award Winners for his PhD Thesis: “Buil...

IMDEA Software Institute researcher Niki Vazou has been awarded a distinguished paper award at the ACM Sigplan conferenc...

EIT Digital, the European KIC on Information Technologies, organized an event on Digital Finance. The event, held at the...

IMDEA Software Institute student Platon Kotzias and researcher Juan Caballero have been awarded a distinguished paper aw...

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

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

The IMDEA Software institute hosted the third International Workshop on Dynamic Software Documentation (DySDoc3), and th...

Manuel Carro, the director of the IMDEA Software Institute, contributed again to the Spanish podcast “1BIT de memoria”, ...

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

IMDEA Software Institute PhD student Pepe Vila discovered a vulnerability in Google Chrome.

IMDEA Software Institute researchers have presented several papers at the 34th International Conference on Logic Program...

The IMDEA Software Institute has published its 2017 Annual Report.

Leaving their usual attachment to well-proven technologies and procedures, banking is embracing AI at all levels, from t...

Former IMDEA Software Institute intern Anaïs Querol Cruz has been selected as a recipient of a prestigious fellowship fr...

IMDEA Software Institute recent PhD graduate Luca Nizzardo gave an invited talk at an event on blockchain and cryto valu...

IMDEA Software Institute faculty member Dario Fiore, together with postdoctoral researchers Antonio Faonio and Matteo Ca...

IMDEA Software Institute researcher and deputy director Juan Caballero gives an invited talk at the 1st OPTICS2 Workshop...

Nataliia Stulova and Luca Nizzardo defend their PhD thesis in UPM in May 2018.

The IMDEA Software Institute and OCaml Labs partners with the Tezos Foundation to further maintain and advance the Tezos codebase and Tezos-related technologies.

The team of the MATHADOR project (led by Aleks Nanevski) is pleased to announce the first release of the FCSL-PCM librar...

The student Matías Spatz from the German School has joined the IMDEA Software Institute for an educational stay for a pe...

IMDEA Software Institute researcher Pierre Ganty was invited speaker at the International Workshop on Synthesis of Compl...

IMDEA Software Institute Phd student Luca Nizzardo was a panel member for an event on crytocurrencies organized at the U...

Next Wednesday at 16:00, a round table will be held in the IMDEA Software Institute's auditorium to contribute to the International Day of the Woman and the Girl in Science.

Manuel Hermenegildo, Distinguished Professor at the IMDEA Software Institute, has been appointed Chairman of the Scientific Board of INRIA, the French Institute for Research in Computer Science and Automation.

Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member ...

Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member ...