Georges Gonthier
Keynote 14 July
The Logic of Real Proofs
Co-founder of the joint Inria – Microsoft-Research laboratory and member of the SpecFun team at INRIA Saclay – Île-de-France.
This lecture was recorded: available in our gallery.
Keynote 14 July
The Logic of Real Proofs
Co-founder of the joint Inria – Microsoft-Research laboratory and member of the SpecFun team at INRIA Saclay – Île-de-France.
This lecture was recorded: available in our gallery.