Links to other websites

Some of the recent talks I've given :

 

 

"Building proof automations in dependently-typed languages to make Type-Driven Development come true" : Invited seminar talk at the LSV (ENS Cachan), 12th December 2017

 

The slides are available here : Slides building proof automations - talk at ENS Cachan - December 2017 .

 

 

"Dependent types, type-driven development and proof automations" : Talk given at INRIA / Ecole Polytechnique - Paris (plateau de Saclay), 26th April 2017

 

The slides are available here : Slides type-driven development - talk at INRIA/Polytechnique - April 2017 .

 

 

"Automatically proving equivalence by type-safe reflection" : Talk given at Scottish Theorem Proving (STP), 7th October 2015

 

The slides are available here : Slides type-safe reflection - talk at STP - October 2015 .

 

 

"Automatically proving equalities (and more) - An advocacy for normalisation" : Talk given at the University of St Andrews, 11th February 2015

 

The slides are available here : Slides normalisation - talk at St Andrews - February 2015 .

 

 

"Reasoning about infinite objects - A praise of laziness" : Talk given at the University of St Andrews, 28th February 2013

 

The slides are available here : Slides coinduction - talk at St Andrews - February 2013 .