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
Vladimir Voevodsky 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 Homotopy Type Theory in Lean
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 Metaprogramming with Dependent Type Theory
BPRW01 12th July 2017
11:30 to 12:30
Jasmin Blanchette Hammers and Model Finders, and Beyond
BPRW01 12th July 2017
14:30 to 15:30
Marijn Heule tba
BPRW01 12th July 2017
16:00 to 17:00
Stephen Watt tba
BPRW01 13th July 2017
09:00 to 10:00
Georges Gonthier tba
BPRW01 13th July 2017
10:00 to 11:00
Tobias Nipkow Mining the Archive of Formal Proofs
BPRW01 13th July 2017
11:30 to 12:30
Grant Passmore Tba
BPRW01 13th July 2017
14:30 to 15:30
Mateja Jamnik Human-like reasoning with diagrams
BPRW01 13th July 2017
16:00 to 17:00
Katya Komendenskaya Proof Mining with Dependent Types
BPRW01 14th July 2017
09:00 to 10:00
Alison Pease The role of explanation in mathematical research
BPRW01 14th July 2017
10:00 to 11:00
Michael Kohlhase tba
BPRW01 14th July 2017
11:30 to 12:30
Jacques Fleuriot Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint
BPRW01 14th July 2017
13:30 to 14:30
Stephanie Dick tba (via Skype)
BPRW01 14th July 2017
14:30 to 15:30
Panel on future directions for Big Proof
BPRW01 14th July 2017
16:00 to 17:00
William Timothy Gowers, Natarajan Shankar, Patrick Ion Panel on future directions for Big Proof
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons