Fri 06 Jun 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Pierpaolo Belardnelli, Universita Politecnica delle Marche
- Friday 06 June 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 30 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Hugh Goyder, Cranfield, AWE
- Friday 30 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 23 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Jake Stuchbury- Wass, PhD student, Dept of Computer Science and Technology, University of Cambridge
- Friday 23 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 16 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Jamie Clarkson, PhD student, CUED
- Friday 16 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 09 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Ole Nielsen, Bose/CUED
- Friday 09 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Wed 07 May 15:05: The TPTP World - Infrastructure for Automated Reasoning
The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The data, standards, and services provided by the TPTP World have made it easy to develop, evaluate, and deploy ATP technology. This talk and tutorial reviews the core features of the TPTP World, describes key services of the TPTP World, and presents some successful applications. The use of ATP as the reliable substrate to subsymbolic AI systems (e.g., LLMs), to form neurosymbolic AI systems, is reviewed.
Link to join virtually: https://cam-ac-uk.zoom.us/j/87421957265
This talk is being recorded. If you do not wish to be seen in the recording, please avoid sitting in the front three rows of seats in the lecture theatre. Any questions asked will also be included in the recording. The recording will be made available on the Department’s webpage
- Speaker: Dr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA
- Wednesday 07 May 2025, 15:05-15:55
- Venue: Lecture Theatre 1, Computer Laboratory, William Gates Building.
- Series: Wednesday Seminars - Department of Computer Science and Technology ; organiser: Ben Karniely.
Wed 23 Apr 11:00: Equality Saturation and Industrial Circuit Design
In this talk I’ll give a brief background on e-graphs and equality saturation, attempting to distill the reasons behind the significant interest in this approach. I’ll then present my research, in collaboration with Intel, into high-performance circuit design exploring how equality saturation can help us to design efficient computational circuits. Lastly I will outline the goals for my short time in Cambridge, contributing to the CIRCT project.
Bio: Sam Coward originally completed a maths degree at Cambrigdge, but has since moved into digitial circuit design. His PhD at Imperial College London with Prof. George Constantinides primarily explored how to leverage and extend equality saturation to automate arithmetic circuit design and verification. He has recently joined Tobias Grosser’s group in Cambridge for a short post-doc.
- Speaker: Sam Coward
- Wednesday 23 April 2025, 11:00-12:00
- Venue: SS03, Computer Laboratory, William Gates Building.
- Series: Computer Laboratory Computer Architecture Group Meeting; organiser: Tobias Grosser.
Tue 20 May 11:15: A 21-cm Cosmologist’s Journey: From Cambridge to North America and Back Again
Abstract TBC
- Speaker: Dr. Peter Sims (University of Cambridge)
- Tuesday 20 May 2025, 11:15-12:00
- Venue: Martin Ryle Seminar Room, Kavli Institute.
- Series: Hills Coffee Talks; organiser: Charles Walker.
Tue 27 May 11:15: Jax-powered Bayesian anomaly detection for supernovae analysis
Abstract TBC
- Speaker: Samuel Leeney (University of Cambridge)
- Tuesday 27 May 2025, 11:15-12:00
- Venue: Martin Ryle Seminar Room, Kavli Institute.
- Series: Hills Coffee Talks; organiser: Charles Walker.
Fri 13 Jun 14:30: Title to be confirmed
Abstract not available
- Speaker: Adrian Rumson, Dalhousie University
- Friday 13 June 2025, 14:30-15:30
- Venue: Unilever Lecture Theatre, Department of Chemistry.
- Series: Extra Theoretical Chemistry Seminars; organiser: Lisa Masters.
Tue 27 May 11:15: Jax-powered Bayesian anomaly detection for supernovae analysis
TBC
- Speaker: Samuel Leeney (University of Cambridge)
- Tuesday 27 May 2025, 11:15-12:00
- Venue: Martin Ryle Seminar Room, Kavli Institute.
- Series: Hills Coffee Talks; organiser: Charles Walker.
Wed 07 May 14:00: Graph Data Compression: Practical Methods and Information-Theoretic Limits
Many modern datasets possess complex correlation structures. Such data is typically stored as graphs. Examples of graph data include social networks, web graphs, biological networks, and neural networks. These graph datasets often contain hundreds of millions of nodes and billions of edges, which leads to a significant problem in terms of storage and processing. Therefore, there is need to compress graphs and store them efficiently without losing much information. In this talk, I will give an introduction to the developing field of graph compression. I will discuss the basic problems encountered in practice and some of the solutions that have been proposed. I will also present a few results detailing information theoretic limits on compressing graphs.
- Speaker: Prof. Justin Coon, University of Oxford
- Wednesday 07 May 2025, 14:00-15:00
- Venue: MR5, CMS Pavilion A.
- Series: Information Theory Seminar; organiser: Prof. Ramji Venkataramanan.
Fri 23 May 12:00: Title to be confirmed
Abstract not available
- Speaker: Dr. Sangwoong Yoon (UCL)
- Friday 23 May 2025, 12:00-13:00
- Venue: Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
- Series: NLIP Seminar Series; organiser: Suchir Salhan.
Fri 09 May 12:00: Title to be confirmed
Abstract not available
- Speaker: Arthur Conmy (Google DeepMind)
- Friday 09 May 2025, 12:00-13:00
- Venue: Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
- Series: NLIP Seminar Series; organiser: Suchir Salhan.
Fri 02 May 12:00: Asymmetry in Supposedly Equivalent Facts: Pre-training Bias in Large Language Models
Understanding and mitigating hallucinations in Large Language Models (LLMs) is crucial for ensuring reliable content generation. While previous research has primarily focused on “when” LLMs hallucinate, our work explains “why” and directly links model behaviour to the pre-training data that forms their prior knowledge. Specifically, we demonstrate that an asymmetry exists in the recognition of logically equivalent facts, which can be attributed to frequency discrepancies of entities appearing as subjects versus objects. Given that most pre-training datasets are inaccessible, we leverage the fully open-source OLMo series by indexing its Dolma dataset to estimate entity frequencies. Using relational facts (represented as triples) from Wikidata5M, we construct probing datasets to isolate this effect. Our experiments reveal that facts with a high-frequency subject and a low-frequency object are better recognised than their inverse, despite their logical equivalence. The pattern reverses in low-to-high frequency settings, and no statistically significant asymmetry emerges when both entities are high-frequency. These findings underscore the influential role of pre-training data in shaping model predictions and provide insights for inferring the characteristics of pre-training data in closed or partially closed LLMs.
- Speaker: Zifeng Ding (University of Cambridge)
- Friday 02 May 2025, 12:00-13:00
- Venue: Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
- Series: NLIP Seminar Series; organiser: Suchir Salhan.
Fri 30 May 12:00: Title to be confirmed
Abstract not available
- Speaker: Pietro Lesci (University of Cambridge)
- Friday 30 May 2025, 12:00-13:00
- Venue: Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
- Series: NLIP Seminar Series; organiser: Suchir Salhan.
Mon 19 May 14:30: From Einstein’s doubts to quantum technologies: non-locality in action
As pointed out by Einstein, and confirmed by the violation of Bell’s inequalities, entanglement of separated particles is an extraordinary feature of quantum mechanics, suggesting some kind of non-locality. It is now used in quantum technologies.
After presenting the Einstein Bohr debate and Bell’s inequalities with their experimental tests, I will show how the notion of non-locality provides fruitful intuitions for some quantum communication methods.
- Speaker: Professor Alain Aspect, Institut d’Optique – Université Paris-Saclay
- Monday 19 May 2025, 14:30-16:00
- Venue: MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.
- Series: Dirac Lecture; organiser: Amanda Stagg.
Fri 09 May 16:00: Resummation of Non-Global Logarithms
An intricate pattern of enhanced higher-order corrections known as non-global logarithms arises in cross sections with angular cuts. While the leading logarithmic terms have been calculated numerically more than two decades ago, the resummation of subleading non-global logarithms remained an open problem. In this seminar, I will present a solution to this challenge using effective field theory techniques. Starting from a factorization theorem, we develop a dedicated parton shower framework in the Veneziano limit where the number of colors Nc becomes large, but the ratio of Nc to the number of fermion flavors nF remains fixed. We solve the associated renormalization-group equations using the Monte-Carlo framework MARZILI , thereby resumming the subleading non-global logarithms. To demonstrate the validity of our approach, we will show results of an ongoing comparison between MARZILI , GNOLE and PanScales.
- Speaker: Nicolas Schalch (Oxford U.)
- Friday 09 May 2025, 16:00-17:00
- Venue: MR19 (Potter Room, Pavilion B), CMS.
- Series: HEP phenomenology joint Cavendish-DAMTP seminar; organiser: Nico Gubernari.
Fri 16 May 16:00: TBA
Abstract not available
- Speaker: Tyler Corbett (Vienna U.)
- Friday 16 May 2025, 16:00-17:00
- Venue: MR19 (Potter Room, Pavilion B), CMS.
- Series: HEP phenomenology joint Cavendish-DAMTP seminar; organiser: Nico Gubernari.
Fri 02 May 16:00: TBA
Abstract not available
- Speaker: Jaco ter Hoeve (University of Edinburgh)
- Friday 02 May 2025, 16:00-17:00
- Venue: MR19 (Potter Room, Pavilion B), CMS.
- Series: HEP phenomenology joint Cavendish-DAMTP seminar; organiser: Nico Gubernari.