# Talks

The list below contains some slides of talks that do not have a corresponding conference paper. Slides corresponding to my conference papers can be found in my list of publications.

- Iris: a framework for higher-order concurrent separation logic in Coq.

At the Type Theory Based Tools (TTT), January 15, 2017, Paris, France - The C standard formalized in Coq, whatâ€™s next?

At the Cambridge Computer Laboratory, May 13, 2016, Cambridge, UK

At Google, April 20, 2016, Aarhus, Denmark

At TUDelft, March 9, 2016, Delft, The Netherlands

At MPI-SWS, December 15, 2015, Saarbrucken, Germany

- Formalization of C: What we have learned and beyond

At Workshop on realistic program verification, December 2, 2015, Nijmegen, The Netherlands

- Formalizing C in Coq.

At Aarhus University, November 17, 2014, Aarhus University, Denmark

At the Princeton PL reading group, October 24, 2014, Princeton University, Princeton, USA

At ITU Copenhagen, November 11, 2015, Copenhagen, Denmark

- A Separation Logic for Non-determinism and Sequence Points in C Formalized in Coq.

At TYPES, May 14, 2014, IHP, Paris, France - Moessner's Theorem: an exercise in coinductive reasoning in Coq.

At the COIN seminar, November 12, 2013, CWI, Amsterdam, the Netherlands. - Separation Logic for Non-local Control Flow and Block Scope Variables.

At the Gallium seminar, February 4, 2013, INRIA Rocquencourt, Paris, France. - Separation Logic for Non-local Control Flow.

At the Brouwer seminar, November 20, 2012, Radboud University, Nijmegen, the Netherlands. - Formalizing the C99 standard (invited talk).

At ICT.OPEN, November 15, 2011, Veldhoven, the Netherlands. - Type Classes for Efficient Exact Real Arithmetic in Coq.

At TYPES, September 9, 2011, Bergen, Norway. - Computer certified efficient exact reals in Coq.

At the the Coq Workshop, August 26, 2011, Nijmegen, the Netherlands. - Computer certified efficient exact reals in Coq.

At the Brouwer seminar, March 22, 2011, Radboud University, Nijmegen, the Netherlands. - Type Classes for Mathematics.

At the Workshop on reification and generic tactics, March 31, 2011, INRIA, Paris, France.