You are warmly invited to the next PGR seminar:- Wednesday 29/04/2026 15:00-16:00 JC 1.33A Speaker 1: Carla Davesa Sureda Title: Compiling Expressive Planning with Data Types Abstract: Classical planning relies…
Friday 24/04/2026 11:00-12:00 JC 1.33A Dave Kotz is visiting the School from Dartmouth College, USA. Dave is well-known for his work on mobile systems, health privacy and parallel computing. Title: SPLICE:…
You are warmly invited to the next PGR Seminar. Tuesday 14/04/2026 15:00-15:40 JC 1.33A Speaker: Samuel J. Ivey Title: Is IPv6 Routing Growth Starting to Slow? Modelling 15 Years of Global Routing State …
Prof Jeremy Bradbury from Ontario Tech will be visiting the SACHI group next week, giving a seminar on Tuesday the 21st of April, 11:00-12:00, in JC 1.33A, which you are warmly invited to attend: Democratizing AI in…
The annual Distinguished Lecture Series 2026 took place on Tuesday 31st March with 3 talks – Talk 1: When Programming Meets Probability Theory Talk 2: Facing Uncertainty in AI: From Verification to Synthesis Talk 3:…
Huge congratulations to our students whose posters are accepted by BCSWomen Lovelace Colloquium (https://bcswomenlovelace.bcs.org/?page_id=863) this year. They will head to Bath to present their ideas next week. Best…
You are warmly invited to week-11 School seminar: 📅 Thursday 16/04/2026 🕰️ 14:00-15:00 📍 JC 1.33B Speaker: John Elliott Title: The SETI Post Detection Hub @ St Andrews – Preparing our science, society, and…
You are warmly invited to the next PGR Seminar. Wednesday 01/04/2026 16:00-17:00 JC 1.33A Speaker: Weiye Li Title: Deep Generative Model in the Regime of Incomplete Data Abstract: Deep generative models offer a…
You are warmly invited to week-9 School seminar: 📅 Thursday 02/04/2026 🕰️ 10:00-11:00 📍 JC 1.33A Speaker: David Brosset (Global Fellow visiting our school during March and April) Title: Study of Human Activities:…
You are warmly invited to the next PGR Seminar. Tuesday 24/03/2026 15:00-15:35 JC 1.33A Speaker: Jiawei Luo Title: Multi-DNN Inference of Sparse Models on Edge SoCs Abstract: Modern edge applications increasingly…