skip to content
 

Seminars (BPRW01)

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

Search seminar archive

Event When Speaker Title Presentation Material
BPRW01 10th July 2017
10:00 to 11:00
Thomas Hales Big Conjectures
BPRW01 10th July 2017
11:30 to 12:30
Vladimir Voevodsky UniMath - its present and its future.
BPRW01 10th July 2017
14:30 to 15:30
Larry Paulson Proof Assistants: From Symbolic Logic To Real Mathematics?
BPRW01 10th July 2017
16:00 to 17:00
Stephen Watt Mathematical Knowledge at Scale
BPRW01 11th July 2017
09:00 to 10:00
Steve Awodey Impredicative encodings in HoTT
BPRW01 11th July 2017
10:00 to 11:00
Martin Escardo Logic in univalent type theory
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 Schemas and semantics for Higher Inductive Types
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
Ursula Martin The social machine of mathematics
BPRW01 12th July 2017
16:00 to 17:00
Marijn Heule Everything's Bigger in Texas: ``The Largest Math Proof Ever''
BPRW01 13th July 2017
09:00 to 10:00
Georges Gonthier Scaffolds and frames: the MathComp algebra formal library
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 Formal Verification of Financial Algorithms, Progress and Prospects
BPRW01 13th July 2017
14:30 to 15:30
Mateja Jamnik Accessible Reasoning with Diagrams: Ontology Debugging
BPRW01 13th July 2017
16:00 to 17:00
Katya Komendenskaya Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs
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 Lightweight and Heavyweight Methods for Integrating Mathematical Libraries
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 After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)
BPRW01 14th July 2017
14:30 to 15:30
William Timothy Gowers, Natarajan Shankar, Patrick Ion 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