A Core Calculus for Equational Proofs of Cryptographic Protocols
May 4, 2023
Many proofs of interactive cryptographic protocols (e.g., as in Universal Composability) operate by proving the protocol to be observationally equivalent...
[ Read More ]
The project “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, led by Aleks Nanevski, ends
May 3, 2023
Aleks Nanevski has dedicated his life to solving one of the biggest computer science challenges, taking a long and risky...
[ Read More ]
The project “MATHADOR: Type and Proof Structures for Concurrent Software Verification”, led by Aleks Nanevski, ends
May 3, 2023
Aleks Nanevski has dedicated his life to solving one of the biggest computer science challenges, taking a long and risky...
[ Read More ]
New members of the IMDEA Materials Institute team – March & April 2023
April 28, 2023
Every month, we welcome new members of the IMDEA Materials team. Here, you can find a short profile of our...
[ Read More ]
IMDEA Networks establishes collaboration with IMDEA Water to evaluate a monitoring system for precision agriculture in a real scenario
April 28, 2023
The IMDEA Networks team consisting of Associate Professor Domenico Giustiniano, PhD students Dayrene Frómeta, Javier Talavante, and intern Steven Jesús...
[ Read More ]
FYA of Biaobiao Yang, entitled “Deformation mechanisms of dual-textured Mg-6.5Zn alloy with limited tension-compression yield asymmetry” – May 28, 2023.
April 28, 2023
Abstract: Despite that Mg has a lot of possible applications, the easiest deformation mechanism in Mg alloys, basal slip, can...
[ Read More ]
Solving some of society’s biggest challenges by focusing on the smallest scale
April 28, 2023
An interdisciplinary research network of more than 77 organisations and research centres from 24 countries has set out to make...
[ Read More ]
IMDEA Materials opens its hosting offers for the MSCA Postdoctoral Fellowship call 2023
April 26, 2023
IMDEA Materials Institute seeks applicants for a Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship (PF) in call 2023. We have a...
[ Read More ]
May 11th seminar “Personalised nutrition with (poly)phenols: what’s next?”
April 26, 2023
Wednesday, April 26, 2023 Next May 11th, Pedro Mena Parreño, Associate Professor in Human Nutrition at the Department of Food...
[ Read More ]
PORMETALOMICS takes next step to further understanding of lightweight porous metals
April 26, 2023
IMDEA Materials Institute has hosted the first face-to-face meeting of the European PORMETALOMICS project, attended by project partners the Israel...
[ Read More ]
