Strachey lecture - Symmetry and Similarity
Strachey lecture - Symmetry and Similarity
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Gr... Read more
16 Feb 2023
•
1hr
Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
An overview of work on probabilistic soft logic (PSL), an SRL framework for large-scale collective, probabilistic reason... Read more
27 Oct 2022
•
1hr 3mins
Strachey Lecture - The Continuing Evolution of C++
Strachey Lecture - The Continuing Evolution of C++
Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. ... Read more
12 Dec 2017
•
58mins
Strachey Lecture - The Once and Future Turing
Strachey Lecture - The Once and Future Turing
Professor Andrew Hodges author of 'Alan Turing: The Enigma' talks about Turing's work and ideas from the definition of c... Read more
2 Nov 2016
•
1hr 7mins
Strachey Lecture - Quantum Supremacy
Strachey Lecture - Quantum Supremacy
Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible t... Read more
14 Jun 2016
•
1hr 12mins
Artificial Intelligence and the Future
Artificial Intelligence and the Future
In this talk Demis Hassabis discuss's what is happening at the cutting edge of AI research, its future impact on fields ... Read more
26 Feb 2016
•
55mins
Bidirectional Computation is Effectful
Bidirectional Computation is Effectful
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/20... Read more
17 Nov 2015
•
5mins