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/10

09:15 The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale Terence Tao (University of California, Los Angeles) Isaac Newton Institute Seminar Series
10:15 The Carleson Project: Formalization and Collaboration Floris van Doorn (Universität Bonn) Isaac Newton Institute Seminar Series
10:30 Scalable Bayesian Inference using Hierarchical Approaches and Surrogates Robert Scheichl (Ruprecht-Karls-Universität Heidelberg) Isaac Newton Institute Seminar Series
11:00 Global modelling of ice-nucleating particles and their impact on cirrus clouds and the climate system Dr. Christof Beer Centre for Atmospheric Science seminars, Chemistry Dept.
11:15 Intuitive knowledge systems for discovery Akeelah Bertram (Cavendish Arts Science Fellow) Hills Coffee Talks
11:45 Lean Meta-theory: The Proofs behind the Proofs Mario Carneiro (Chalmers University of Technology) Isaac Newton Institute Seminar Series
12:00 The early evolution of animal life and the generation of form Frances Dunn, Oxford University Museum of Natural History & University of Oxford Department of Earth Sciences Seminars (downtown)
12:00 Structural and molecular basis of DNA transfer by bacterial conjugative systems Gabriel Waksman Biochemistry Seminar Series - External Speakers
13:00 Contribution of mitonuclear genomes to evolutionary processes Flo Camus, UCL Zoology Departmental Seminar Series
13:00 AI for breast cancer screening Nicholas Payne, Department of Radiology, University of Cambridge Cambridge Radiology AI Development Meeting
14:00 Rough Structure and Classification, Revisited Alex Kontorovich (Rutgers, The State University of New Jersey) Isaac Newton Institute Seminar Series
14:00 Proof of the existence of theta_6 Zhouli Xu (University of California, Los Angeles) Isaac Newton Institute Seminar Series
14:00 Latent Concepts in Large Language Models Prof. Pradeep Ravikumar, Carnegie Mellon University Probabilistic Systems, Information, and Inference Group Seminars
15:30 Homotopy theory of lattices Constanze Roitzheim (University of Kent) Isaac Newton Institute Seminar Series
15:30 Formalizing the divided power envelope in Lean María Inés De Frutos Fernández (University of Bonn) Isaac Newton Institute Seminar Series
16:00 From Squiggles to Signals: Learning Useful Representations for Discovery in Time-Domain Astronomy Daniel Muthukrishna (MIT) Astro Data Science Discussion Group
17:00 The social cognition of applause in classical concert audiences Niels Christian Hansen (Royal Academy of Music Aarhus, Denmark and University of Jyväskylä, Finland) CMS seminar series in the Faculty of Music
18:15 Reconstructing Land Use Histories in Mesopotamia: New Insights from Integrated Approaches in Iraqi Kurdistan Dr Elise Laugier - Utah State University Ancient Near East Seminar Series

📅 Talks on Tuesday, 10 June 2025

09:15

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

👤 Terence Tao (University of California, Los Angeles) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:15

The Carleson Project: Formalization and Collaboration

👤 Floris van Doorn (Universität Bonn) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:30

Scalable Bayesian Inference using Hierarchical Approaches and Surrogates

👤 Robert Scheichl (Ruprecht-Karls-Universität Heidelberg) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

11:00

Global modelling of ice-nucleating particles and their impact on cirrus clouds and the climate system

👤 Dr. Christof Beer 📚 Centre for Atmospheric Science seminars, Chemistry Dept. 📍 Chemistry Dept, Unilever Lecture Theatre and Teams

11:15

Intuitive knowledge systems for discovery

👤 Akeelah Bertram (Cavendish Arts Science Fellow) 📚 Hills Coffee Talks 📍 Coffee area, Battcock Centre

11:45

Lean Meta-theory: The Proofs behind the Proofs

👤 Mario Carneiro (Chalmers University of Technology) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

The early evolution of animal life and the generation of form

👤 Frances Dunn, Oxford University Museum of Natural History & University of Oxford 📚 Department of Earth Sciences Seminars (downtown) 📍 Department of Earth Sciences, Tilley Lecture Theatre

12:00

Structural and molecular basis of DNA transfer by bacterial conjugative systems

👤 Gabriel Waksman 📚 Biochemistry Seminar Series - External Speakers 📍 Jean Thomas Lecture theatre, Sanger Building, Tennis Court Road

13:00

Contribution of mitonuclear genomes to evolutionary processes

👤 Flo Camus, UCL 📚 Zoology Departmental Seminar Series 📍 Part II Lecture Theatre, Department of Zoology

13:00

AI for breast cancer screening

👤 Nicholas Payne, Department of Radiology, University of Cambridge 📚 Cambridge Radiology AI Development Meeting 📍 Berridge Room, Level 5, Department of Radiology

14:00

Rough Structure and Classification, Revisited

👤 Alex Kontorovich (Rutgers, The State University of New Jersey) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

Proof of the existence of theta_6

👤 Zhouli Xu (University of California, Los Angeles) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

14:00

Latent Concepts in Large Language Models

👤 Prof. Pradeep Ravikumar, Carnegie Mellon University 📚 Probabilistic Systems, Information, and Inference Group Seminars 📍 JDB Seminar Room, CUED

15:30

Homotopy theory of lattices

👤 Constanze Roitzheim (University of Kent) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

15:30

Formalizing the divided power envelope in Lean

👤 María Inés De Frutos Fernández (University of Bonn) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

16:00

From Squiggles to Signals: Learning Useful Representations for Discovery in Time-Domain Astronomy

👤 Daniel Muthukrishna (MIT) 📚 Astro Data Science Discussion Group 📍 Martin Ryle Seminar Room, KICC

17:00

The social cognition of applause in classical concert audiences

👤 Niels Christian Hansen (Royal Academy of Music Aarhus, Denmark and University of Jyväskylä, Finland) 📚 CMS seminar series in the Faculty of Music 📍 CMS computer room, Faculty of Music (11 West Road, Cambridge, CB3 9DP)

18:15

Reconstructing Land Use Histories in Mesopotamia: New Insights from Integrated Approaches in Iraqi Kurdistan

👤 Dr Elise Laugier - Utah State University 📚 Ancient Near East Seminar Series 📍 McDonald Seminar Room, Department of Archaeology

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2025/6/10

📅 Talks on Tuesday, 10 June 2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

The Carleson Project: Formalization and Collaboration

Scalable Bayesian Inference using Hierarchical Approaches and Surrogates

Global modelling of ice-nucleating particles and their impact on cirrus clouds and the climate system

Intuitive knowledge systems for discovery

Lean Meta-theory: The Proofs behind the Proofs

The early evolution of animal life and the generation of form

Structural and molecular basis of DNA transfer by bacterial conjugative systems

Contribution of mitonuclear genomes to evolutionary processes

AI for breast cancer screening

Rough Structure and Classification, Revisited

Proof of the existence of theta_6

Latent Concepts in Large Language Models

Homotopy theory of lattices

Formalizing the divided power envelope in Lean

From Squiggles to Signals: Learning Useful Representations for Discovery in Time-Domain Astronomy

The social cognition of applause in classical concert audiences

Reconstructing Land Use Histories in Mesopotamia: New Insights from Integrated Approaches in Iraqi Kurdistan