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 ]
La ciencia que ayuda al Planeta (I) en La Noche Europea de los Investigadores e Investigadoras de Madrid 2024
September 6, 2024
Viernes 27 septiembre 2024 – Residencia de Estudiantes Los avances en Medicina, materiales, telecomunicaciones, energía y un largo etcétera, han...
[ Read More ]
