skip to content
 

Seminars (BPR)

Videos and presentation materials from other INI events are also available.

Search seminar archive

Event When Speaker Title
BPRW01 10th July 2017
10:00 to 11:00
Thomas Hales Big Conjectures
BPRW01 10th July 2017
11:30 to 12:30
tba
BPRW01 10th July 2017
14:30 to 15:30
Larry Paulson Towards Formal Proof for Working Mathematicians
BPRW01 10th July 2017
16:00 to 17:00
Ursula Martin The social machine of mathematics
BPRW01 11th July 2017
09:00 to 10:00
Steve Awodey tba
BPRW01 11th July 2017
10:00 to 11:00
Martin Escardo tba
BPRW01 11th July 2017
11:30 to 12:30
Floris van Doorn tba
BPRW01 11th July 2017
14:30 to 15:30
Dan Licata Small Proofs
BPRW01 11th July 2017
16:00 to 17:00
Peter LeFanu Lumsdaine tba
BPRW01 12th July 2017
09:00 to 10:00
Assia Mahboubi Formally Verified Approximations of Definite Integrals
BPRW01 12th July 2017
10:00 to 11:00
Leonardo de Moura tba
BPRW01 12th July 2017
11:30 to 12:30
Jasmin Blanchette tba
BPRW01 12th July 2017
14:30 to 15:30
Marijn Heule tba
BPRW01 12th July 2017
16:00 to 17:00
Katya Komendenskaya Data mining proofs in dependently-typed languages
BPRW01 13th July 2017
09:00 to 10:00
Georges Gonthier tba
BPRW01 13th July 2017
10:00 to 11:00
Tobias Nipkow tba
BPRW01 13th July 2017
11:30 to 12:30
Grant Passmore Tba
BPRW01 13th July 2017
14:30 to 15:30
Mateja Jamnik tba
BPRW01 13th July 2017
16:00 to 17:00
Jacques Fleuriot Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint
BPRW01 14th July 2017
09:00 to 10:00
Alison Pease tba
BPRW01 14th July 2017
10:00 to 11:00
Michael Kohlhase tba
BPRW01 14th July 2017
11:30 to 12:30
tba
BPRW01 14th July 2017
14:30 to 15:30
Patrick Ion tba
BPRW01 14th July 2017
16:00 to 17:00
Panel: tba
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons