apps clear

DELIGHTED partners successfully organized the Symposium “Alloy and Microstructural Design of Advanced High Strength Steels (AHSS) to Improve Their Performance”

June 27, 2023

The DELIGHTED consortium successfully organized the Symposium “Alloy and Microstructural Design of Advanced High Strength Steels (AHSS) to Improve Their...

[ Read More ]

IMDEA Materials Institute welcomes students from Michigan State University

June 27, 2023

IMDEA Materials Institute has welcomed five students from Michigan State University in the United States for a two-month research stay....

[ Read More ]

Formal Vindication

June 27, 2023

Guillermo Errezil will talk about the work, goals and collaborations of Formal Vindication.

[ Read More ]

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

June 27, 2023

Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Such contracts...

[ Read More ]

Isabel García wins the SISTEDES award for best doctoral thesis

June 27, 2023

“A scalable static analysis framework for reliable program development exploiting incrementality and modularity” is the title of his thesis, directed...

[ Read More ]

The conference ‘Fuerzas y Túnel’ celebrates its 25th anniversary

June 22, 2023

The conference ‘Fuerzas y Túnel’ celebrates its 25th anniversary 22.06.2023 The proximity microscopy conference celebrates a quarter of a century...

[ Read More ]

The conference ‘Fuerzas y Túnel’ celebrates its +20th anniversary

June 22, 2023

The conference ‘Fuerzas y Túnel’ celebrates its +20th anniversary 22.06.2023 The proximity microscopy conference celebrates a quarter of a century...

[ Read More ]

Archives