The third ERC awarded to researchers from the IMDEA Software Institute
This paper presents a novel, algebraic treatment of the assertion language of separation logics
The work explores the application of Parametric Resource Analysis to the static inference of gas and storage consumption bounds for smart contracts
The conference featured 8 interesting presentations, two of them on forthcoming papers, and a colloquium
