Actualidad
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-energia.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-nanociencia.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-networks.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-materiales.jpg)
IMDEA Materiales
Nuclear fusion: what material can contain a star on Earth?
31 ene 2023
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Talk by Sebastian Uchitel: Predicate Abstractions for Smart Contract Validation
31 ene 2023
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Talk by Dmitry Chistikov: Subcubic certificates for the CFL reachability problem
31 ene 2023
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Subcubic certificates for the CFL reachability problem
31 ene 2023
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Predicate Abstractions for Smart Contract Validation
30 ene 2023
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-alimentacion.jpg)
IMDEA Alimentación
January 30th seminar “Finding ways to understand how senescent cells remain viable”.
27 ene 2023
Leer más trending_flat