El Prof. Nazario Martín León ingresa en la Real Academia de Ciencias Exactas, Físicas y Naturales
May 9, 2023
El Prof. Nazario Martín León ingresa en la Real Academia de Ciencias Exactas, Físicas y Naturales La Real Academia de...
[ Read More ]
Seminar of Dr. Carlos Doñate, from the University of Wuppertal, “Laser synthesized nanoparticles to enhance additive manufacturing materials: From ODS steels to plasmonic and magnetic polymers ”. June 23, at 12:00 am in the Seminar Room.
May 8, 2023
Abstract: Photonics, Nanotechnology and Advanced Materials are considered by the European Commission as key enabling technology due to the transcendental...
[ Read More ]
Acuerdo entre el IMDEA Alimentación y la Universidad CEU San Pablo
May 8, 2023
Friday, April 28, 2023 La directora de IMDEA Alimentación, Ana Ramírez de Molina y la rectora de la Universidad CEU...
[ Read More ]
Marie Skłodowska-Curie Actions (MSCA) PFs Call 2023 informative webinar
May 5, 2023
IMDEA Materials Institute researchers, Prof. Javier Segurado and Dr. Carlos Ruestes, have participated in an informative webinar about the Marie...
[ Read More ]
IMDEA Networks has participated in the ‘Tech Innovation: Madrid / Boston Connection’
May 4, 2023
Ramón Girona, General Manager of IMDEA Networks, and Javier Talavante, IMDEA Networks PhD Student and co-founder of the startup LiFi4Food,...
[ Read More ]
Talk by Kristina Sojakova: 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 ]
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 ]
