IMDEA Software

IMDEA initiative

news & events

Dec 9, 2020

The third ERC awarded to researchers from the IMDEA Software Institute

Nov 30, 2020

This paper presents a novel, algebraic treatment of the assertion language of separation logics

Nov 20, 2020

The work explores the application of Parametric Resource Analysis to the static inference of gas and storage consumption bounds for smart contracts

Oct 21, 2020

The conference featured 8 interesting presentations, two of them on forthcoming papers, and a colloquium