Temporal Logics Modulo Theories for Infinite-State Verification
November 8, 2023
Linear Temporal Logic (LTL) is one of the most common formalisms for expressing properties of systems in formal verification and...
[ Read More ]
Knowing who you are as a researcher to craft your career development
November 7, 2023
Full-day in-person workshop for PhD students and Postdocs
[ Read More ]
IEEE Globecom 2023 recognizes IMDEA Networks’ research with Best Paper Award
November 6, 2023
The publication “Characterizing Sub-THz MIMO Channels in Practice: A Novel Channel Sounder with Absolute Time Reference”, in which our research...
[ Read More ]
Developing a coaching mindset to develop researchers
November 6, 2023
Half-day in-person workshop for Faculty
[ Read More ]
Knowing who you are as a researcher to craft your career development
November 6, 2023
Half-day in-person workshop for Faculty
[ Read More ]
Investigadores de IMDEA Alimentación arrojan luz sobre el diseño de nuevos fármacos y nutracéuticos para la salud intestinal
November 2, 2023
Thursday, November 2, 2023 A partir del análisis de las moléculas presentes en el intestino humano llevado a cabo por...
[ Read More ]
How IMDEA Materials is exploring novel materials for carbon capture and hydrogen storage technology
November 2, 2023
A new class of materials could prove significant in more efficient carbon capture technology, drug delivery and even as a...
[ Read More ]
New members of the IMDEA Materials Institute team – October, 2023
November 2, 2023
Every month, we welcome new members of the IMDEA Materials team. Here, you can find a short profile of our...
[ Read More ]
What is the most used material in the world and the least researched?
November 1, 2023
We live in a world of steel. It’s so common that we use it as a metaphor for everyday life....
[ Read More ]
