Actualidad

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