IMDEA Nanoscience holds the first Winter Postdoctoral School as part of the IDEAL programme
February 1, 2023
IMDEA Nanoscience holds the first Winter Postdoctoral School as part of the IDEAL programme PRESS RELEASE 31.01.2023 IMDEA Nanoscience holds...
[ Read More ]
Meeting the challenge of stopping brain tumor growth via electric fields using remotely powered, implantable devices
February 1, 2023
IMDEA Materials Institute will play a key role in a new project aimed at designing and manufacturing new implantable devices...
[ Read More ]
February 8th seminar “The role of alcohol in the Mediterranean diet”
February 1, 2023
Wednesday, February 1, 2023 Next February 8th, Miguel A. Martínez-González, Professor of Preventive Medicine & Public Health and Coordinator of...
[ Read More ]
Prof. Javier Segurado receives “Consolidation of Research Activity” award from the UPM
January 31, 2023
Prof. Javier Segurado, leader of IMDEA Materials’ Multiscale Materials Simulation research group, recently received the “Consolidation of Research Activity” award...
[ Read More ]
Nuclear fusion: what material can contain a star on Earth?
January 31, 2023
Nuclear fusion as a source of energy for stars was described in the 1920s. Since then, scientists have dreamed of...
[ Read More ]
Talk by Dmitry Chistikov: Subcubic certificates for the CFL reachability problem
January 31, 2023
The context-free language (CFL) reachability problem on graphs (as well as a closely related problem of language emptiness for pushdown...
[ Read More ]
Talk by Sebastian Uchitel: Predicate Abstractions for Smart Contract Validation
January 31, 2023
Smart contracts are immutable programs deployed on the blockchain that can manage significant assets. Because of this, verification and validation...
[ Read More ]
Subcubic certificates for the CFL reachability problem
January 31, 2023
The context-free language (CFL) reachability problem on graphs (as well as a closely related problem of language emptiness for pushdown...
[ Read More ]
Predicate Abstractions for Smart Contract Validation
January 30, 2023
Smart contracts are immutable programs deployed on the blockchain that can manage significant assets. Because of this, verification and validation...
[ Read More ]
January 30th seminar “Finding ways to understand how senescent cells remain viable”.
January 27, 2023
Friday, January 27, 2023 On January 30th, Carlos Anerillas, a researcher at the Laboratory of Genetics and Genomics in the...
[ Read More ]
