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 2026/4/21

10:00 Machine Learning for Spectral Geometry and Vice Versa Justin Solomon (Massachusetts Institute of Technology) Isaac Newton Institute Seminar Series
11:15 Necessary mechanisms for super AI and stopping hallucinations: The consistent reasoning paradox and the indeterminacy function Anders Hansen (University of Cambridge) Isaac Newton Institute Seminar Series
12:00 Formalising mathematics and spectral geometry in Lean Laura Monk (University of Bristol) Isaac Newton Institute Seminar Series
14:00 From Physics-informed Neural Networks to Numerically Verified Proofs in Geometric Analysis Daniel Platt (Imperial College London) Isaac Newton Institute Seminar Series
14:00 Am I a Member? Auditing Private Machine Learning Nicolas Papernot, University of Toronto Computer Laboratory Security Seminar
14:15 Discussion II Isaac Newton Institute Seminar Series
15:30 Discussion II continued Isaac Newton Institute Seminar Series
16:00 Not-so-noble gases, key tracers of Earth’s habitability: what their behaviour in planetary interiors can tell us? CHRYSTELE SANLOUP, Sorbonne University LCLU Seminars

📅 Talks on Tuesday, 21 April 2026

10:00

Machine Learning for Spectral Geometry and Vice Versa

👤 Justin Solomon (Massachusetts Institute of Technology) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:15

Necessary mechanisms for super AI and stopping hallucinations: The consistent reasoning paradox and the indeterminacy function

👤 Anders Hansen (University of Cambridge) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

Formalising mathematics and spectral geometry in Lean

👤 Laura Monk (University of Bristol) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

From Physics-informed Neural Networks to Numerically Verified Proofs in Geometric Analysis

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

14:00

Am I a Member? Auditing Private Machine Learning

👤 Nicolas Papernot, University of Toronto 📚 Computer Laboratory Security Seminar 📍 Webinar & FW11, Computer Laboratory, William Gates Building.

14:15

Discussion II

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

15:30

Discussion II continued