Talks


For talks at conferences and workshops presenting a work please see the list of my publications.
  1. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems at Iris Workshop, Aarhus, Denmark, Oct 2019. [slides]
  2. Iris, Iris proof mode and Program verification in Iris at IFIP 1.9 meeting, Leuven, Belgium, May 2017 (invited talk). [slides]
  3. A Logical Relation for Monadic Encapsulation of State: proving contextual equivalences in the presence of runST in a Prosecco Seminar (Inria Paris), Paris, France, Dec 2017. [slides]
  4. Cumulative Inductive Types at Coq Implementors Workshop, Le Croisic, France, June 2017. [slides]
  5. A Logical Relation for Monadic Encapsulation of State: proving contextual equivalences in the presence of runST on the occasion of Ph.D. defence of Jesper Cockx, Leuven, Belgium, May 2017. [slides]