Talk by Maximiliano Klemen: Static Performance Guarantees for Programs with Run-time Checks
July 16, 2019
Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps...
[ Read More ]
Static Performance Guarantees for Programs with Run-time Checks
July 16, 2019
Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps...
[ Read More ]
The Madrid Regional Ministry of Education and Research visits SENER to get to know the ‘Madrid Flight on Chip’ project
July 15, 2019
The aerospace division of the engineering and technology group (SENER) has received today the Madrid Regional Minister of Education and...
[ Read More ]
The Ministry of Education and Research of the Community of Madrid visits SENER to get to know the ‘Madrid Flight on Chip’ project
July 15, 2019
The engineering and technology group (SENER) has received today the Minister of Education and Research of the Community of Madrid,...
[ Read More ]
Experts from the Egyptian Ministry of Water Resources and Irrigation visits IMDEA Water
July 15, 2019
The researchers explained the different research lines carried out in the Institute
[ Read More ]
The Madrid Regional Ministry of Education and Research visits SENER to get to know the ‘Madrid Flight on Chip’ project
July 15, 2019
SENER welcomed today the Madrid Regional Minister of Education and Research and the Madrid Director General of Research and Innovation...
[ Read More ]
Reversible electro-optical detector for environmental sensing of pollutants
July 14, 2019
Reversible electro-optical detector for environmental sensing of pollutants 15.07.2019 Coordination polymer as an acetonitrile sensor. Image: Scixel. Researchers at IMDEA...
[ Read More ]
5TONIC to explain the impact of 5G on railway sector at Passenger Global Forum
July 12, 2019
5TONIC, the open research and innovation laboratory focusing on 5G technologies, takes part today in the ‘Passenger Global Forum’, organized...
[ Read More ]
Luís Moniz Pereira has been awarded the Portugal National Science Merit Award 2019
July 11, 2019
Luís Moniz Pereira, NOVA LINCS Researcher, emeritus Professor at DI FCT NOVA, and member of the Board of Trustees and...
[ Read More ]
Luís Moniz Pereira has been awarded the Portugal National Science Merit Award 2019
July 11, 2019
Luís Moniz Pereira, NOVA LINCS Researcher, emeritus Professor at DI FCT NOVA, and member of the Board of Trustees and...
[ Read More ]
