What’s New

IMDEA Software
Talk by Sebastian Uchitel: Runtime Synthesis for Self-Adptation
02 Feb 2023
Read More trending_flat
IMDEA Materials
Prof. Javier Segurado receives “Consolidation of Research Activity” award from the UPM
31 Jan 2023
Read More trending_flat
IMDEA Materials
Nuclear fusion: what material can contain a star on Earth?
31 Jan 2023
Read More trending_flat
IMDEA Software
Talk by Sebastian Uchitel: Predicate Abstractions for Smart Contract Validation
31 Jan 2023
Read More trending_flat
IMDEA Software
Talk by Dmitry Chistikov: Subcubic certificates for the CFL reachability problem
31 Jan 2023
Read More trending_flat