Actualidad
IMDEA Alimentación
February 8th seminar “The role of alcohol in the Mediterranean diet”
01 Feb 2023
Leer más trending_flat
IMDEA Materiales
Prof. Javier Segurado receives “Consolidation of Research Activity” award from the UPM
31 Jan 2023
Leer más trending_flat
IMDEA Materiales
Nuclear fusion: what material can contain a star on Earth?
31 Jan 2023
Leer más trending_flat
IMDEA Software
Talk by Sebastian Uchitel: Predicate Abstractions for Smart Contract Validation
31 Jan 2023
Leer más trending_flat
IMDEA Software
Talk by Dmitry Chistikov: Subcubic certificates for the CFL reachability problem
31 Jan 2023
Leer más trending_flat
IMDEA Software
Subcubic certificates for the CFL reachability problem
31 Jan 2023
Leer más trending_flat

