Past Events
May 2026 | |
| Fri 15 May 2026 15:00 - 17:00 | The Shor algorithm Centre for Fundamentals of AI and Computational Theory Our theory group meeting this week will be a general discussion of the Shor algorithm. It is a quantum algorithm developed in 1994 by Peter Shor for finding the prime factors of an integer. It was developed in 1994 by the American mathematician Peter... |
| Wed 13 May 2026 10:30 - 13:00 | Seminar: Fundamentals of AI Reading Group: LLM and Human Modes of Representation
Centre for Fundamentals of AI and Computational Theory LLM and Human Modes of Representation Shalom Lappin Queen Mary University of London, University of Gothenburg, and King's College London Much work on the cognitive foundations of AI has focussed on comparisons between the ways in which Large... |
| Mon 11 May 2026 11:00 - 15:00 | Seminar: Modern AI: From Engineering to Scientific Approaches AND An Experienced Guide's Playbook for the ERC Centre for Fundamentals of AI and Computational Theory These events will be of interest to members of the centre: The school of mathematical sciences will be hosting Professor Enrique Alba (University of Málaga) for two talks on the 11th of May. Modern AI: From Engineering to Scientific Approaches â€... |
| Tue 5 May 2026 10:30 - 16:00 | AI: Brains and Bits Research Planning retreat Centre for Fundamentals of AI and Computational Theory The Centre for Fundamentals of AI and Computational Theory is holding a research planning/grant writing retreat on the AI: Brains and Bits theme. We will discuss: Social Science of AI agents; Neuroscience methods for evaluation AI ... |
| Fri 1 May 2026 15:00 - 17:00 | Seminar: Theory Seminar: Algorithms for Checking Infinite Descent / The Emptiness Problem for Quantum Automata Centre for Fundamentals of AI and Computational Theory This week Theory meeting will have an invited speaker (hosted by Fred Dahlqvist), followed by a talk by Edon Kelmendi (details below) Speaker 1: Reuben Rowe (Royal Holloway) Title: Algorithms for Checking Infinite Descent Abstract: The ... |
April 2026 | |
| Wed 29 Apr 2026 10:30 - 13:00 | Seminar: CANCELLED: Fundamentals of AI Reading Group:
Shared Representations for Speech and Music? Evidence from Frozen Transfer Centre for Fundamentals of AI and Computational Theory THIS EVENT HAS SADLY HAD TO BE CANCELLED DUE TO UNFORSEEN CIRCUMSTANCES. At this week's reading group, Farida Yusuf will present their work on: Shared Representations for Speech and Music? Evidence from Frozen Transfer Abstract: Recent work in... |
| Fri 17 Apr 2026 15:00 - 17:00 | Seminar: Theory Group Seminar: Equality Saturation and Industrial Circuit Design Centre for Fundamentals of AI and Computational Theory Title: Equality Saturation and Industrial Circuit Design. Abstract: Equality saturation is a term rewriting approach that avoids challenges around picking an order to apply your rewrites in. In this talk I'll give an overview on e-graphs and... |
| Wed 15 Apr 2026 10:30 - 13:00 | Seminar: Fundamentals of AI Reading Group:
Tropical Geometry of Deep Neural Networks by Liwen Zhang, Gregory Naitzat and Lek-Heng Lim Centre for Fundamentals of AI and Computational Theory Fredrik Dahlqvist will be presenting Tropical Geometry of Deep Neural Networks by Liwen Zhang, Gregory Naitzat and Lek-Heng Lim. Please RSVP to Gabryel Thomas Mason-Williams if you are coming or not so we can get numbers for catering. ... |
| Mon 13 Apr 2026 10:30 - 16:30 |  AI: Brains and Bits - First SymposiumCentre for Fundamentals of AI and Computational Theory The first QMUL AI: Brains and Bits symposium will bring together researchers from across Science and Engineering to discuss the Fundamentals of AI including issues of how AI works and how it should work. It will include talks from investigators from Biology, the Blizzard Institute, Physics, Maths, Electronic Engineering and Computer Science. It will include refreshments and lunch with plenty of time for discussion on collaborative projects. If you would like to attend, please use the... |
March 2026 | |
| Fri 20 Mar 2026 15:00 - 17:00 | Seminar: Theory Seminar: informal talks by Paolo Olive and Frederik Dahlqvist Centre for Fundamentals of AI and Computational Theory This week's theory seminar session will be two informal talks/discussions. The first discussion will be led by Paulo be on negation and strong negation (ideas connected to Gurevich logic, modal logic, linear logic). The other discussion led by... |
| Wed 18 Mar 2026 10:30 - 12:00 |  Seminar: Paulo Oliva: Stochastic Approximation. Fundamentals of AI reading groupCentre for Fundamentals of AI and Computational Theory Paulo Oliva will talk about Stochastic Approximation, from its birth in 1952 (Robbins-Monro method), through Dvoretzky's generalisation (1956), the development of stochastic gradient descent (Kiefer-Wolfowitz and Rosenblatt, 1958), and the formalisation of backpropagation (1986), up to more recent developments. After Paulo's talk and discussions, there will be lunch from 12:00. |
| Fri 6 Mar 2026 15:00 - 17:00 | Søren Riis: Drift and Selection in LLM Text Ecosystems. Theory Seminar
Centre for Fundamentals of AI and Computational Theory This Friday Søren Riis will talk on Drift and Selection in LLM Text Ecosystems Abstract: AI-generated text increasingly feeds back into the public record that later AI systems learn from. This talk develops a mathematical framework that... |
January 2026 | |
| Fri 23 Jan 2026 15:00 - 17:00 | Seminar: Nicholas Pischke: Recent progress in proof mining and probability theory Centre for Fundamentals of AI and Computational Theory Nicholas Pischke from Bath, will be a guest speaker talking about proof mining On the surface, the theory of probability measures requires the use of proof theoretically strong principles to already develop some of the most basic notions. Contrary... |