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 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 ]
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 ]
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 ]
Delighted consortium holds fifth online progress meeting
January 27, 2023
The DELIGHTED consortium held its fifth online progress meeting in January 2023. Project partners presented and discussed their research activities...
[ Read More ]
Delighted consortium holds fifth online progress meeting
January 27, 2023
The DELIGHTED consortium held its fifth online progress meeting in January 2023.
[ Read More ]
January 25th seminar “Posttranscriptional regulation of human metabolic diseases”
January 25, 2023
Wednesday, January 25, 2023 On January 25th, Cristina Ramírez Hidalgo, group leader of the Posttranscriptional Regulation of Metabolic Diseases Group...
[ Read More ]
