What’s New
IMDEA Software
Liquidate your assets: reasoning about resource usage in Liquid Haskell
19 Mar 2019
Read More trending_flat
IMDEA Software
Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project
18 Mar 2019
Read More trending_flat
IMDEA Nanoscience
A ground-breaking chemical protocol: on-surface synthesis of acene polymers
18 Mar 2019
Read More trending_flat
IMDEA Software
Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project
18 Mar 2019
Read More trending_flat
IMDEA Software
Talk by Eduardo Bezerra: Strong Consistency at Scale
14 Mar 2019
Read More trending_flat

