| From probabilistic bisimulation to representation learning via metrics |
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden |
Prakash Panangaden |
2 December, 2024 |
 |
| Strachey Lecture: The Computer in the Sky |
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications |
Tim Roughgarden |
16 May, 2024 |
|
| Strachey Lecture: From classical to non-classical stochastic shortest path problems |
Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture |
Christel Baier |
6 February, 2024 |
|
| Strachey Lecture: How Can Algorithms Help to Protect our Privacy |
In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy with an emphasis on differential private algorithms that can handle changing input data. |
Monika Henzinger |
13 November, 2023 |
|
| Strachey Lecture: Use or Be Used - Regaining Control of AI |
It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? |
Neil Lawrence |
4 September, 2023 |
|
| Strachey Lecture: Symmetry and Similarity |
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Problem" to applications in optimisation and machine learning |
Martin Grohe |
16 February, 2023 |
|
| Strachey Lecture: 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 reasoning in relational domains and a description of recent work which integrates neural and symbolic (NeSy) reasoning. |
Lise Getoor |
27 October, 2022 |
|
| Strachey Lecture: How Are New Technologies Changing What We See? |
There has been a proliferation of technological developments in the last few years that are beginning to improve how we perceive, attend to, notice, analyse and remember events, people, data and other information. |
Yvonne Rogers |
16 March, 2022 |
|
| Strachey Lecture: Mixed Signals |
Mixed Signals: audio and wearable data analysis for health diagnostics |
Cecilia Mascolo |
6 January, 2022 |
|
| Strachey Lecture: The Quest for Truth in the Information Age |
The advantages of computing for society are tremendous. But while new technological developments emerge, we also witness a number disadvantages and unwanted side-effects. |
Sonja Smets |
4 November, 2021 |
|
| Strachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms |
As AI technologies enter our everyday lives at an ever increasing pace, there is a greater need for AI systems to work synergistically with humans. |
Subbarao Kambhampati |
12 May, 2021 |
|
| Strachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time |
Innovation is the main event of the modern age, the reason we experience both dramatic improvements in our living standards and unsettling changes in our society. |
Matt Ridley |
12 May, 2021 |
|
| Strachey Lecture: Medicine and Physiology in the Age of Dynamics |
Medicine and Physiology in the Age of Dynamics: Newton Abraham Lecture 2020 |
Alan Garfinkel |
2 April, 2020 |
|
| A Problem for Lambert |
Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010 |
Richard Bird |
24 February, 2020 |
|
| An Introduction to the Theory of Lists |
Lectures at Utrecht University, 16th and 17th December 1986. |
Richard Bird |
24 February, 2020 |
|
| Strachey Lecture: Can one Define Intelligence as a Computational Phenomenon? |
Can we build on our understanding of supervised learning to define broader aspects of the intelligence phenomenon. Strachey Lecture delivered by Leslie Valiant. |
Lesley Valiant |
11 December, 2019 |
|
| John Barnden - Consciousness, metacausation and metadynamism |
One in a series of talks from the 2019 Models of Consciousness conference. |
John Barnden |
13 October, 2019 |
|
| Pedro Mediano - Moving beyond integration and differentiation in measures of neural dynamics |
One in a series of talks from the 2019 Models of Consciousness conference. |
Pedro Mediano |
13 October, 2019 |
|
| Inês Hipólito - Generative models of the mind: neural connections and cognitive integration |
One in a series of talks from the 2019 Models of Consciousness conference. |
Inês Hipólito |
13 October, 2019 |
|
| Gustav Bernroider - Neural sense relations and consciousness: a diagrammatic approach |
One in a series of talks from the 2019 Models of Consciousness conference. |
Gustav Bernroider |
13 October, 2019 |
|
| Marc Ebner - A communication-based model of consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Marc Ebner |
13 October, 2019 |
|
| Diana Stanciu - An ESR model of consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Diana Stanciu |
13 October, 2019 |
|
| Aïda Elamrani - Inputs, outputs, and meta-models |
One in a series of talks from the 2019 Models of Consciousness conference. |
Aïda Elamrani |
13 October, 2019 |
|
| Chetan Prakash - Structure Invention by Conscious Agents |
One in a series of talks from the 2019 Models of Consciousness conference. |
Chetan Prakash |
13 October, 2019 |
|
| Quanlong Wang - Modelling consciousness divisions in ZW-calculus |
One in a series of talks from the 2019 Models of Consciousness conference. |
Quanlong Wang |
13 October, 2019 |
|
| Pierre Baudot - Information cohomology and probabilistic topos for consciousness modeling: from elementary perception to machine learning |
One in a series of talks from the 2019 Models of Consciousness conference. |
Pierre Baudot |
13 October, 2019 |
|
| Paul Baird - A model for perceptual states |
One in a series of talks from the 2019 Models of Consciousness conference. |
Paul Baird |
13 October, 2019 |
|
| Mauro D’Ariano - Awareness: an operational theoretical approach |
One in a series of talks from the 2019 Models of Consciousness conference. |
Mauro D’Ariano |
13 October, 2019 |
|
| Anita Mehta - Chasing memories |
One in a series of talks from the 2019 Models of Consciousness conference. |
Anita Mehta |
13 October, 2019 |
|
| Ramón Guevara Erra - Statistical mechanics of consciousness: maximization of information content of neuronal networks is associated with conscious awareness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Ramón Guevara Erra |
13 October, 2019 |
|
| Michael Silberstein - Quantum mechanics and the consistency of conscious experience |
One in a series of talks from the 2019 Models of Consciousness conference. |
Michael Silberstein |
13 October, 2019 |
|
| Yakov Kremnitzer - Quantum collapse models and awareness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Yakov Kremnitzer |
13 October, 2019 |
|
| Adrian Kent - Searching for Physical Models of the Evolution of Consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Adrian Kent |
13 October, 2019 |
|
| Ian Durham - Toward a formal model of free will |
One in a series of talks from the 2019 Models of Consciousness conference. |
Ian Durham |
13 October, 2019 |
|
| Peter Lloyd - Automata-theoretic approach to modelling consciousness within mental monism |
One in a series of talks from the 2019 Models of Consciousness conference. |
Peter Lloyd |
13 October, 2019 |
|
| Tim Palmer - Creativity and Consciousness: A Consequence of the Brain’s Extraordinary Energy Efficiency? |
One in a series of talks from the 2019 Models of Consciousness conference. |
Tim Palmer |
13 October, 2019 |
|
| Jonathan Mason - Expected Float Entropy Minimisation: A Relationship Content Theory of Consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Jonathan Mason |
13 October, 2019 |
|
| Aaron Sloman - Why current AI and neuroscience fail to replicate or explain ancient forms of spatial reasoning and mathematical consciousness? |
One in a series of talks from the 2019 Models of Consciousness conference. |
Aaron Sloman |
13 October, 2019 |
|
| Pedro Resende - Sketches of a mathematical theory of qualia |
One in a series of talks from the 2019 Models of Consciousness conference. |
Pedro Resende |
13 October, 2019 |
|
| Peter Grindrod - Large scale simulations of information processing within the human cortex: what “inner life” occurs? |
One in a series of talks from the 2019 Models of Consciousness conference. |
Peter Grindrod |
13 October, 2019 |
|
| Camilo Miguel Signorelli - Consciousness interaction, from experiments to a multi-layer model |
One in a series of talks from the 2019 Models of Consciousness conference. |
Camilo Miguel Signorelli |
13 October, 2019 |
|
| Sean Tull - Generalised integrated information theories |
One in a series of talks from the 2019 Models of Consciousness conference. |
Sean Tull |
13 October, 2019 |
|
| Stuart Hameroff - Anesthetic action on quantum terahertz oscillations in microtubules supports the Orch OR theory of consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Stuart Hameroff |
13 October, 2019 |
|
| Sir Roger Penrose - AI, Consciousness, Computation, and Physical Law |
One in a series of talks from the 2019 Models of Consciousness conference. |
Roger Penrose |
13 October, 2019 |
|
| Xerxes Arsiwalla - Computing Meaning from Conceptual Structures in Integrated Information Theory |
One in a series of talks from the 2019 Models of Consciousness conference. |
Xerxes Arsiwalla |
13 October, 2019 |
|
| Adam Barrett - Integrated information theory: a perspective on `weak’ and `strong’ versions |
One in a series of talks from the 2019 Models of Consciousness conference. |
Adam Barrett |
13 October, 2019 |
|
| Johannes Kleiner - On the Mathematical Basis of Models of Consciousness |
One in a series of talks from the 2019 Models of Consciousness conference. |
Johannes Kleiner |
13 October, 2019 |
|
| Strachey Lecture: Doing for our robots what evolution did for us |
Professor Leslie Kaelbling (MIT) gives the 2019 Stachey lecture. The Strachey Lectures are generously supported by OxFORD Asset Management. |
Leslie Kaelbling |
29 March, 2019 |
|
| Strachey Lecture: Steps Towards Super Intelligence |
Why has AI been so hard and what are the problems that we might work on in order to make real progress to human level intelligence, or even the super intelligence that many pundits believe is just around the corner? |
Rodney Brooks |
20 December, 2018 |
|
| Ethics and Morality of Robotics |
The future of robotics raises important questions for humanity. |
Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers, Matthias Scheutz, Jeanette Wing, Luciano Floridi |
18 July, 2018 |
|
| Formal Reasoning about the Security of Amazon Web Services |
Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS. |
Byron Cook |
18 July, 2018 |
|
| The Logic of Real Proofs |
George Gonthier delivers a lecture at FLoc2018 |
George Gonthier |
16 July, 2018 |
|
| Looking Backward; Looking Forward |
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018 |
Dana Scott |
13 July, 2018 |
|
| Pseudo deterministic algorithms and proofs |
In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. |
Shafi Goldwasser |
13 July, 2018 |
|
| Continuous Reasoning: Scaling the impact of formal methods |
Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive. |
Peter O'Hearn |
10 July, 2018 |
|
| Strachey Lecture: Privacy-preserving analytics in, or out of, the cloud |
This talk is about the experience of providing privacy when running analytics on users’ personal data. |
Jon Crowcroft |
16 April, 2018 |
|
| Inferring Scope through Syntactic Sugar |
Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. |
Justin Pombrio |
23 January, 2018 |
|
| Automating Sized-Type Inference for Complexity Analysis |
Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. |
Martin Avanzini |
23 January, 2018 |
|
| Constrained Type Families |
Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference. |
Richard A Eisenberg |
23 January, 2018 |
|
| Gradual Typing with Union and Intersection Types |
Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Victor Lanvin |
23 January, 2018 |
|
| On Polymorphic Gradual Typing |
Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Yuu Igarashi |
22 January, 2018 |
|
| Theorems for Free for Free: Parametricity, With and Without Types |
Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. |
Amal Ahmed |
22 January, 2018 |
|
| Gradual Session Types |
Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. |
Peter Thiemann |
22 January, 2018 |
|
| Manifest Sharing with Session Types |
Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. |
Stephanie Balzer |
22 January, 2018 |
|
| Whip: Higher-Order Contracts for Modern Services |
Lucas Waye (Harvard University, USA), gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICFP conference. |
Lucas Waye |
22 January, 2018 |
|
| A Metaprogramming Framework for Formal Verification |
Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Sebastian Ullrich |
17 January, 2018 |
|
| Normalization by Evaluation for Sized Dependent Types |
Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Andreas Abel |
17 January, 2018 |
|
| A Specification for Dependent Types in Haskell |
Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Antoine Vizard |
17 January, 2018 |
|
| Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) |
Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference. |
Robby Findler |
17 January, 2018 |
|
| Visitors Unchained |
Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. |
François Pottier |
17 January, 2018 |
|
| Compiling to Categories |
Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. |
Conal Elliott |
16 January, 2018 |
|
| Local Refinement Typing |
Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. |
Benjamin Cosman |
16 January, 2018 |
|
| SpaceSearch: A Library for Building and Verifying Solver-Aided Tools |
Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. |
Konstantin Weitz |
15 January, 2018 |
|
| Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification |
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification |
Muralidaran Vijayaraghavan |
15 January, 2018 |
|
| No-Brainer CPS Conversion |
Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP. |
Milo Davis |
15 January, 2018 |
|
| Foundations of Strong Call by Need |
Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Thibaut Balabonski |
15 January, 2018 |
|
| How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation |
Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Makoto Hamana |
18 December, 2017 |
|
| Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols |
Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Geoffrey Mainland |
18 December, 2017 |
|
| Verifying Efficient Function Calls in CakeML |
Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Scott Owens |
18 December, 2017 |
|
| A Relational Logic for Higher-Order Programs |
Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. |
Alejandro Aguirre |
18 December, 2017 |
|
| Verified Low-Level Programming Embedded in F |
Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Jonathan Protzen |
18 December, 2017 |
|
| Persistence for the Masses: RRB-Vectors in a Systems Language |
Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. |
Juan Pedro Bolívar Puente |
18 December, 2017 |
|
| Assuring AI |
John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. |
John Launchbury |
18 December, 2017 |
|
| Effect-Driven QuickChecking of Compilers |
Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. |
Jan Midtgaard |
18 December, 2017 |
|
| Imperative Functional Programs that Explain their Work |
Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. |
Jan Stolarek |
18 December, 2017 |
|
| On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control |
Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference. |
Ohad Kammar |
13 December, 2017 |
|
| Abstracting Definitional Interpreters |
David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA. |
David Darais |
13 December, 2017 |
|
| Symbolic Conditioning of Arrays in Probabilistic Programs |
Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. |
Praveen Narayanan |
13 December, 2017 |
|
| A Framework for Adaptive Differential Privacy |
Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. |
Daniel Winograd-Cort |
13 December, 2017 |
|
| 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. |
Bjarne Stroustrup |
12 December, 2017 |
|
| Prototyping a Query Compiler using Coq (Experience Report) |
Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. |
Louis Mandel |
12 December, 2017 |
|
| A Unified Approach to Solving Seven Programming Problems (Functional Pearl) |
William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
William E Byrd |
12 December, 2017 |
|
| Generic Functional Parallel Algorithms: Scan and FFT |
Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Conal Elliott |
12 December, 2017 |
|
| A Pretty But Not Greedy Printer (Functional Pearl) |
Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Jean-Philippe Bernardy |
12 December, 2017 |
|
| Faster Coroutine Pipelines |
Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. |
Mike Spivey |
12 December, 2017 |
|
| Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC |
Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference. |
Roberto Di Cosmo |
12 December, 2017 |
|
| Lock-Step Simulation Is Child's Play (Experience Report) |
Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA. |
Joachim Breiner |
12 December, 2017 |
|
| Testing and Debugging Functional Reactive Programming |
Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. |
Ivan Perez |
12 December, 2017 |
|
| Super 8 Languages for Making Movies (Functional Pearl) |
Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. |
Leif Andersen |
7 December, 2017 |
|
| Compositional Creativity: Some Principles for Talking to Computers |
Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. |
Chris Martens |
5 December, 2017 |
|
