Past Events
April 2026 | |
| 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... |