Internal Overview | Internal Resources

skip to content

Related Websites

11

Jun

09:15 - 10:15: Lean for teaching university mathematics: current work and future research

Isaac Newton Institute Seminar Series

Paola Iannone (University of Edinburgh)

11

Jun

10:15 - 11:15: Can Mathematics Be Hacked? Infrastructure, Artificial Intelligence, and the Cybersecurity of Mathematical Knowledge

Isaac Newton Institute Seminar Series

Fenner Tanswell (Technische Universität Berlin)

11

Jun

11:45 - 12:45: Informal to formal and back with LLMs

Isaac Newton Institute Seminar Series

Olivier Bousquet (Google DeepMind Technologies Limited)

11

Jun

13:30 - 15:00: A near-optimal quadratic Goldreich-Levin algorithm

Discrete Analysis Seminar

Davi de Castro Silva (University of Cambridge)

11

Jun

16:30 - 18:00: Statistics Clinic Easter 2025 IV

Cambridge Statistics Clinic

Speaker to be confirmed

12

Jun

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

Isaac Newton Institute Seminar Series

Angeliki Koutsoukou-Argyraki (Royal Holloway, University of London)

12

Jun

10:15 - 11:15: The realist's guide to AI for formal maths research

Isaac Newton Institute Seminar Series

Albert Jiang (None / Other)

12

Jun

11:45 - 12:45: Case Study: Verifying an Efficient Algorithm to Compute Bernoulli Numbers

Isaac Newton Institute Seminar Series

Manuel Eberl (Universität Innsbruck)

12

Jun

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

DAMTP Atmosphere-Ocean Dynamics

Jun Ichi-Yano, Météo-France

12

Jun

13:00 - 14:00: Title to be confirmed

Quantum Fields and Strings Seminars

Nejc Čeplak, Trinity College Dublin