Search for tag: "proof"

BMC BAMC 2021 Ciprian Manolescu

6-9 April 2021, BMC BAMC 2021 This was the LMS Meeting Plenary Lecture by Ciprian Manolescu (University of Stanford) Titled: Khovanov Homology and Four-Manifolds The subtitles/captions on this talk…

From  Sophia Martin on April 23rd, 2021 0 likes 14 plays 0  

BMC BAMC 2021 Daniela Kuhn

6-9 April 2021, BMC BAMC 2021 This talk was a BMC morning lecture by Daniela Kuhn (University of Birmingham) Titled: A Proof of the Erdos-Faber-Lovasz Conjecture This recording is subtitled. If…

From  Sophia Martin on April 22nd, 2021 0 likes 21 plays 0  

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…

From  Sophia Martin on April 21st, 2021 0 likes 23 plays 0  

15.b

The second video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 161 plays 0  

14.b

This is the second part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 149 plays 0  

14.a

This is the first part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 165 plays 0  

7.c

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 209 plays 0  

What is 'Beyond a Reasonable Doubt'?

Lecture 2: What is 'Beyond a Reasonable Doubt'?

From  Martin Smith on December 17th, 2020 0 likes 48 plays 0  

A Fair Trial/The Presumption of Innocence

Lecture 1: A Fair Trial/The Presumption of Innocence

From  Martin Smith on December 17th, 2020 0 likes 47 plays 0  

REF2020: Ira Rothstein- Glauber Cancellation in Effective Field Theory

REF2020: Ira Rothstein- Glauber Cancellation in Effective Field Theory

From  Lyndsey Ballantyne on December 11th, 2020 0 likes 10 plays 0  

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 205 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 356 plays 0  

LMS Computer Science Colloquium - Igor Carboni Oliveira (Warwick)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Igor Carboni Oliveira (Warwick) - Kolmogorov complexity,…

From  Liam Holligan on November 19th, 2020 0 likes 33 plays 0  

LMS Computer Science Colloquium - Anupam Das (Birmingham)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Anupam Das (Birmingham) The size of proofs: from…

From  Liam Holligan on November 19th, 2020 0 likes 14 plays 0  

One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Sonja Cox (University of Amsterdam)

Automated subtitles will appear on this video. Click "cc" to turn subtitles off. One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Sonja Cox (University of…

From  DIANE HORBERRY on November 18th, 2020 0 likes 77 plays 0  

Gareth Tracey: Introduction to crowns in finite groups

Gareth Tracey: Introduction to crowns in finite groups

From  OLLIE Quinn on October 9th, 2020 0 likes 19 plays 0