- Jean-Christophe Filliâtre, LRI, Université Paris Sud & CNRS / INRIA Saclay – Île-de-France — slides, demo.
- Dan Grayson, Institute for Advanced Study and University of Illinois — slides, animations are best viewed using Acrobat Reader.
- John Harrison, Amazon Web Services — slides.
9th International Conference on Interactive Theorem Proving -- July 9-12 2018, Oxford, United Kingdom
