Log in

University Account

External (via Google)

Information on

Subscribing to talks details

Finding a talk details

Adding a talk details

Disseminating talks details

Help and Documentation details

Talks on 2025/6/12

09:15 A formalisation of a special case of the Union-Closed Conjecture and formal proofs as datasets in the era of LLMs Angeliki Koutsoukou-Argyraki (Royal Holloway, University of London) Isaac Newton Institute Seminar Series
09:30 The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck Dr Gill Barnett and Dr Christopher Jones, Cambridge University Hospital & Dept of Oncology Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine
10:00 Harnessing the power of multi-tracer intensity mapping to study early galaxy formation Guochao Sun, Northwestern University (Remote) 21cm Discussion Group
10:00 Myelin-Specific Contrast in PETALUTE MRI: Insights from Magnetization Transfer Interactions. Dr Festus Slade Cambridge Imaging Festival 2025
10:15 The realist's guide to AI for formal maths research Albert Jiang (None / Other) Isaac Newton Institute Seminar Series
10:30 Well-Posedness of Singular Switched Explicit Models and Potential Applications in Model-Based Reinforcement Learning for Constrained Systems Sutrisno Sutrisno (Universitas Diponegoro) Isaac Newton Institute Seminar Series
11:30 Mixing and chemical transfers in particle clouds – implications following planetary impacts Quentin Kriaa, Uni of Cambridge Institute for Energy and Environmental Flows (IEEF)
11:45 Case Study: Verifying an Efficient Algorithm to Compute Bernoulli Numbers Manuel Eberl (Universität Innsbruck) Isaac Newton Institute Seminar Series
12:00 How to study the tropical atmospheric dynamics with a shallow-water model?: Gill and Lindzen-Nigam formulations Jun Ichi-Yano, Météo-France DAMTP Atmosphere-Ocean Dynamics
12:30 Brain Boost: Healthy Habits for a Happier Life Professor Barbara Sahakian & Dr Christelle Langley Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series
13:00 An Introduction to Self-supervised Learning Srinivasan Keshav, University of Cambridge Energy and Environment Group, Department of CST
14:00 Exciton (De)Localization and Dissociation in Heterogeneous Semiconductors from First Principles Computational Modeling Prof. Marina Filip (Oxford) Theory of Condensed Matter
14:00 Why Reinforcement Learning needs Formal Methods, and Formal Methods need Reinforcement Learning Alex Best (Harmonic) Isaac Newton Institute Seminar Series
14:00 Rethinking the sensory-deprived brain: How sensory deprivation improved our vision on brain function Emiliano Ricciardi (U. of Pisa Chaucer Club
14:00 Probabilistically Robust Decision Making for Uncertain Dynamical Systems Venkatraman Renganathan, Cranfield University CUED Control Group Seminars
15:00 The Martian Mindset - A Scarcity-Driven Engineering Paradigm Prof. Lucio Colombi Ciacchi Lennard-Jones Centre
15:00 Clark Barwick Isaac Newton Institute Seminar Series
15:00 Neurotransmitter receptor gradients enable flexible control of cortex-wide network dynamics during cognition Dr Seán Froudist-Walsh Making connections- brains and other complex systems
15:15 Emma Brink Isaac Newton Institute Seminar Series
15:30 Formalising Modern Combinatorics Bhavik Mehta (Imperial College London) Isaac Newton Institute Seminar Series
15:30 Juan Moreno Isaac Newton Institute Seminar Series
15:45 Martina Rovelli Isaac Newton Institute Seminar Series
16:00 “Characterizing and preventing host cell entry of emerging RNA viruses” Professor Thomas Bowden, Wellcome Centre for Human Genetics, Oxford Cambridge Immunology Network Seminar Series
16:00 Magnetic fields of neutron stars: simulations and observations Andrei Igoshev, Newcastle University Institute of Astronomy Colloquia
16:00 Anode protection strategies towards high-performance aqueous Zn-ion batteries Dr Guanjie He Department of Materials Science & Metallurgy Goldsmiths' Seminars

📅 Talks on Thursday, 12 June 2025

09:15

A formalisation of a special case of the Union-Closed Conjecture and formal proofs as datasets in the era of LLMs

👤 Angeliki Koutsoukou-Argyraki (Royal Holloway, University of London) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

09:30

The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck

👤 Dr Gill Barnett and Dr Christopher Jones, Cambridge University Hospital & Dept of Oncology 📚 Cancer Research UK Cambridge Centre Lectures in Cancer Biology and Medicine 📍 Theo Chalmers Lecture Theatre (LT2) School of Clinical Medicine

10:00

Harnessing the power of multi-tracer intensity mapping to study early galaxy formation

👤 Guochao Sun, Northwestern University (Remote) 📚 21cm Discussion Group 📍 Martin Ryle Meeting Room, KICC + Online

10:00

Myelin-Specific Contrast in PETALUTE MRI: Insights from Magnetization Transfer Interactions.

👤 Dr Festus Slade 📚 Cambridge Imaging Festival 2025 📍 Cancer Research UK Cambridge Institute, Addenbrookes site

10:15

The realist's guide to AI for formal maths research

👤 Albert Jiang (None / Other) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:30

Well-Posedness of Singular Switched Explicit Models and Potential Applications in Model-Based Reinforcement Learning for Constrained Systems

👤 Sutrisno Sutrisno (Universitas Diponegoro) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

11:30

Mixing and chemical transfers in particle clouds – implications following planetary impacts

👤 Quentin Kriaa, Uni of Cambridge 📚 Institute for Energy and Environmental Flows (IEEF) 📍 Open Plan Area, Institute for Energy and Environmental Flows, Madingley Rise CB3 0EZ

11:45

Case Study: Verifying an Efficient Algorithm to Compute Bernoulli Numbers

👤 Manuel Eberl (Universität Innsbruck) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

How to study the tropical atmospheric dynamics with a shallow-water model?: Gill and Lindzen-Nigam formulations

👤 Jun Ichi-Yano, Météo-France 📚 DAMTP Atmosphere-Ocean Dynamics 📍 MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge

12:30

Brain Boost: Healthy Habits for a Happier Life

👤 Professor Barbara Sahakian & Dr Christelle Langley 📚 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series 📍 Hybrid (in-person at the Herschel Smith Building and online via zoom)

13:00

An Introduction to Self-supervised Learning

👤 Srinivasan Keshav, University of Cambridge 📚 Energy and Environment Group, Department of CST 📍 Room SS03 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

14:00

Exciton (De)Localization and Dissociation in Heterogeneous Semiconductors from First Principles Computational Modeling

👤 Prof. Marina Filip (Oxford) 📚 Theory of Condensed Matter 📍 Seminar Room 3, RDC

14:00

Why Reinforcement Learning needs Formal Methods, and Formal Methods need Reinforcement Learning

👤 Alex Best (Harmonic) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

Rethinking the sensory-deprived brain: How sensory deprivation improved our vision on brain function

👤 Emiliano Ricciardi (U. of Pisa 📚 Chaucer Club 📍 MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre

14:00

Probabilistically Robust Decision Making for Uncertain Dynamical Systems

👤 Venkatraman Renganathan, Cranfield University 📚 CUED Control Group Seminars 📍 JDB Seminar Room, Department of Engineering and online (Zoom)

15:00

The Martian Mindset - A Scarcity-Driven Engineering Paradigm

👤 Prof. Lucio Colombi Ciacchi 📚 Lennard-Jones Centre 📍 LT6, First floor Baker building, Dept. of Engineering, Trumpington Street, CB2 1PZ

15:00

Clark Barwick

👤 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

15:00

Neurotransmitter receptor gradients enable flexible control of cortex-wide network dynamics during cognition

👤 Dr Seán Froudist-Walsh 📚 Making connections- brains and other complex systems 📍 Online

15:15

Emma Brink

👤 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

15:30

Formalising Modern Combinatorics

👤 Bhavik Mehta (Imperial College London) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

15:30

Juan Moreno

👤 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

15:45

Martina Rovelli

👤 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

16:00

“Characterizing and preventing host cell entry of emerging RNA viruses”

👤 Professor Thomas Bowden, Wellcome Centre for Human Genetics, Oxford 📚 Cambridge Immunology Network Seminar Series 📍 Max Perutz Lecture Theatre, MRC LMB, Francis Crick Avenue, Cambridge CB2 0QH

16:00

Magnetic fields of neutron stars: simulations and observations

👤 Andrei Igoshev, Newcastle University 📚 Institute of Astronomy Colloquia 📍 Hoyle Lecture Theatre, Institute of Astronomy

16:00

Anode protection strategies towards high-performance aqueous Zn-ion batteries

👤 Dr Guanjie He 📚 Department of Materials Science & Metallurgy Goldsmiths' Seminars 📍 Goldsmiths' 2 & https://zoom.us/j/96836714124

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2025/6/12

📅 Talks on Thursday, 12 June 2025

A formalisation of a special case of the Union-Closed Conjecture and formal proofs as datasets in the era of LLMs

The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck

Harnessing the power of multi-tracer intensity mapping to study early galaxy formation

Myelin-Specific Contrast in PETALUTE MRI: Insights from Magnetization Transfer Interactions.

The realist's guide to AI for formal maths research

Well-Posedness of Singular Switched Explicit Models and Potential Applications in Model-Based Reinforcement Learning for Constrained Systems

Mixing and chemical transfers in particle clouds – implications following planetary impacts

Case Study: Verifying an Efficient Algorithm to Compute Bernoulli Numbers

How to study the tropical atmospheric dynamics with a shallow-water model?: Gill and Lindzen-Nigam formulations

Brain Boost: Healthy Habits for a Happier Life

An Introduction to Self-supervised Learning

Exciton (De)Localization and Dissociation in Heterogeneous Semiconductors from First Principles Computational Modeling

Why Reinforcement Learning needs Formal Methods, and Formal Methods need Reinforcement Learning

Rethinking the sensory-deprived brain: How sensory deprivation improved our vision on brain function

Probabilistically Robust Decision Making for Uncertain Dynamical Systems

The Martian Mindset - A Scarcity-Driven Engineering Paradigm

Clark Barwick

Neurotransmitter receptor gradients enable flexible control of cortex-wide network dynamics during cognition

Emma Brink

Formalising Modern Combinatorics

Juan Moreno

Martina Rovelli

“Characterizing and preventing host cell entry of emerging RNA viruses”

Magnetic fields of neutron stars: simulations and observations

Anode protection strategies towards high-performance aqueous Zn-ion batteries