IMDEA Software Institute News
Dec 13, 2018: UPM's Innovatech Workshop @ IMDEA Software
UPM’s 6th Technology Innovation workshop took place at the IMDEA Software Institute. As part of its commitment to ...
Dec 11, 2018: Innovation: A Perspective from a Research Center
EIT Digital Spain held its Innovation day 2018, with the participation of several keynote speakers and panelists. Manuel...
Dec 10, 2018: Visit from Mr. Manuel Heitor, Ministry of Science, Technology and Higher Education of Portugal
The Minister of Science, Technology, and Higher Education of Portugal, Mr. Manuel Heitor, visited the IMDEA Software Ins...
Dec 3, 2018: IMDEA PhD student wins UPM PhD thesis prize
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...
Nov 9, 2018: Distinguished paper award at OOPSLA 2018
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...
Oct 31, 2018: Distinguished paper award at IMC 2018
IMDEA Software Institute student Platon Kotzias and researcher Juan Caballero have been awarded a distinguished paper aw...
Oct 26, 2018: Strong IMDEA presence at Lambda World conference
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...
Sep 21, 2018: IMDEA director as guest of a technology podcast
Manuel Carro, the director of the IMDEA Software Institute, contributed again to the Spanish podcast “1BIT de memoria”, ...
Sep 6, 2018: Best paper award by IMDEA researcher at DISC 2018
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...
Jul 13, 2018: 2017 Annual Report Published
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...
Apr 15, 2018: Researcher Pierre Ganty invited speaker at the International Workshop on Synthesis of Complex Parameters
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 ...
Jan 8, 2018: Affiliate faculty Prof. Roberto Giacobazzi gives a tutorial at major programming language conference
Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member ...