Alessio Mansutti’s ICALP paper “Integer Linear-Exponential Programming in NP by Quantifier Elimination” wins the Track B Best Paper Award
September 26, 2024
The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and...
[ Read More ]
Building Secure and Reliable Systems – A Systems Approach
September 24, 2024
Unsafe languages, like C and C++, have long been the preferred choice for systems programming thanks to their unique feature...
[ Read More ]
Buscamos a los mejores ayudantes de investigación en Nutrición y Salud para La Noche Europea de los Investigadores
September 16, 2024
Monday, September 16, 2024 El último viernes del mes de septiembre las instalaciones de IMDEA Alimentación, en el Campus de...
[ Read More ]
Members of the MadQuantum-CM project publish in Nature their paper: “MadQCI: a heterogeneous and scalable SDN-QKD network deployed in production facilities”
September 10, 2024
César Sánchez and David Rincón from REDIMadrid are part of the authors of the article that publishes the conclusions of...
[ Read More ]
Science that helps the Planet (I) at The European Researchers’ Night in Madrid 2024
September 6, 2024
Friday, September 27, 2024 – Residencia de Estudiantes Advances in medicine, materials, telecommunications, energy, and various other fields, have transformed...
[ Read More ]
