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

09:30 Evolving a formal language standard Andreas Rossberg (None / Other) Isaac Newton Institute Seminar Series
10:00 Webinar: Harnessing the power of whole genome arrayed screening to discover new mechanisms and targets in rare genetic conditions Dr Delphine Larrieu, Altos Labs Milner Special Seminars
10:15 Ever-Mechanising the Ever-Expanding WebAssembly specification Conrad Watt (Nanyang Technological University) Isaac Newton Institute Seminar Series
11:00 Morning Coffee Isaac Newton Institute Seminar Series
11:00 Manuel Scherf on "The evolution and prevalence of Earth-like Habitats in the Galaxy" Manuel Scherf (Austrian Academy of Sciences) LCLU Coffee Meetings
11:15 Structures, superconductivity, and soft chemistry in anti-cuprate square lattice materials Nicola Kelly Quantum Matter Seminar
11:30 Formally Specifying ABIs using Realistic Realizability Amal Ahmed (Northeastern University) Isaac Newton Institute Seminar Series
12:15 Hybrid Verification for Rust Sacha-Élie Ayoun (Imperial College London) Isaac Newton Institute Seminar Series
12:45 Lunch at Churchill College Isaac Newton Institute Seminar Series
13:15 Spectral classification of white dwarfs by dimensionality reduction Xander Byrne, IoA Institute of Astronomy Seminars
13:40 Dynamics in gas is different Mor Rozner, IoA / DAMTP Institute of Astronomy Seminars
14:00 Some contributions of information theory to pure mathematics Dr Thomas Karam, University of Oxford Information Theory Seminar
14:00 Optimisation with respect to Qualitative Objectives Grisha Szep Future Intelligence Talks
14:30 Sphere Neural-Networks for Rational Reasoning II Dr Tiansi Dong, Fraunhofer Institute IAIS, Germany ml@cl-math
15:00 Sleepless and Alone: The Impact of Sleep Loss on Human Social Behavior Eti Ben Simon, The Center for Human Sleep Science, University of California Berkeley Social Psychology Seminar Series (SPSS)
15:00 Convex Hulls of Higher-Dimensional Random Walks & First-Passage Resetting Julien Randon-Furling (ENS Paris-Saclay) Isaac Newton Institute Seminar Series
16:15 PT-symmetric quantum mechanics: Physics off the real axis Professor Carl Bender: University of Washington in Saint Louis. Theoretical Physics Colloquium
16:30 Statistics Clinic Michaelmas 2024 I MR5 at the CMS Cambridge Statistics Clinic
16:30 From TDEs and GRBs to supernovae - Redback: A Bayesian inference software package for electromagnetic transients Nikhil Sarin (Stockholm University) Astro Data Science Discussion Group
17:00 ARC39.1 Launch Event & Keynote: Entangled or Entrapped; Human Induced Changes to the Beetle Fauna of the UK Archaeological Review from Cambridge Archaeological Review from Cambridge (ARC)
18:00 Larger and more instructable language models become less reliable José Hernández-Orallo Valencian Research Institute for Artificial Intelligence, UPV Leverhulme Centre for the Future of Intelligence, ITH, Cambridge Centre for Human Inspired AI Early Career Committee
19:00 Czech Collections Ian Woolnough British Cactus & Succulent Society (Cambridge Branch)
19:30 Formal Dinner at Selwyn College Isaac Newton Institute Seminar Series

📅 Talks on Wednesday, 09 October 2024

09:30

Evolving a formal language standard

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

10:00

Webinar: Harnessing the power of whole genome arrayed screening to discover new mechanisms and targets in rare genetic conditions

👤 Dr Delphine Larrieu, Altos Labs 📚 Milner Special Seminars 📍 Webinar (via Zoom)

10:15

Ever-Mechanising the Ever-Expanding WebAssembly specification

👤 Conrad Watt (Nanyang Technological University) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:00

Morning Coffee

👤 📚 Isaac Newton Institute Seminar Series 📍 No Room Required

11:00

Manuel Scherf on "The evolution and prevalence of Earth-like Habitats in the Galaxy"

👤 Manuel Scherf (Austrian Academy of Sciences) 📚 LCLU Coffee Meetings 📍 Battcock, Room F17

11:15

Structures, superconductivity, and soft chemistry in anti-cuprate square lattice materials

👤 Nicola Kelly 📚 Quantum Matter Seminar 📍 West Hub, South Room

11:30

Formally Specifying ABIs using Realistic Realizability

👤 Amal Ahmed (Northeastern University) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:15

Hybrid Verification for Rust

👤 Sacha-Élie Ayoun (Imperial College London) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:45

Lunch at Churchill College

👤 📚 Isaac Newton Institute Seminar Series 📍 No Room Required

13:15

Spectral classification of white dwarfs by dimensionality reduction

👤 Xander Byrne, IoA 📚 Institute of Astronomy Seminars 📍 The Hoyle Lecture Theatre + Zoom

13:40

Dynamics in gas is different

👤 Mor Rozner, IoA / DAMTP 📚 Institute of Astronomy Seminars 📍 The Hoyle Lecture Theatre + Zoom

14:00

Some contributions of information theory to pure mathematics

👤 Dr Thomas Karam, University of Oxford 📚 Information Theory Seminar 📍 MR11 (B1.39), CMS Pavilion B

14:00

Optimisation with respect to Qualitative Objectives

👤 Grisha Szep 📚 Future Intelligence Talks 📍 https://cam-ac-uk.zoom.us/j/83203210940?pwd=Vml3NmxOYitWTnRIbkRDdDdmdUxWdz09

14:30

Sphere Neural-Networks for Rational Reasoning II

👤 Dr Tiansi Dong, Fraunhofer Institute IAIS, Germany 📚 ml@cl-math 📍 SW00, Computer Laboratory, William Gates Building

15:00

Sleepless and Alone: The Impact of Sleep Loss on Human Social Behavior

👤 Eti Ben Simon, The Center for Human Sleep Science, University of California Berkeley 📚 Social Psychology Seminar Series (SPSS) 📍 Nick Mackintosch Seminar Room, Department of Psychology, Downing Site

15:00

Convex Hulls of Higher-Dimensional Random Walks & First-Passage Resetting

👤 Julien Randon-Furling (ENS Paris-Saclay) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

16:15

PT-symmetric quantum mechanics: Physics off the real axis

👤 Professor Carl Bender: University of Washington in Saint Louis. 📚 Theoretical Physics Colloquium 📍 MR3

16:30

Statistics Clinic Michaelmas 2024 I

👤 MR5 at the CMS 📚 Cambridge Statistics Clinic 📍 MR5

16:30

From TDEs and GRBs to supernovae - Redback: A Bayesian inference software package for electromagnetic transients

👤 Nikhil Sarin (Stockholm University) 📚 Astro Data Science Discussion Group 📍 Hoyle Committee Room, IoA

17:00

ARC39.1 Launch Event & Keynote: Entangled or Entrapped; Human Induced Changes to the Beetle Fauna of the UK

👤 Archaeological Review from Cambridge 📚 Archaeological Review from Cambridge (ARC) 📍 Hybrid/McDonald Seminar Room

18:00

Larger and more instructable language models become less reliable

👤 José Hernández-Orallo Valencian Research Institute for Artificial Intelligence, UPV Leverhulme Centre for the Future of Intelligence, ITH, Cambridge 📚 Centre for Human Inspired AI Early Career Committee 📍 Syndics Room, 17 Mill Lane

19:00

Czech Collections

👤 Ian Woolnough 📚 British Cactus & Succulent Society (Cambridge Branch) 📍 Great Shelford Memorial Hall, Woollards Lane, Great Shelford, Cambridge, CB22 5LZ

19:30

Formal Dinner at Selwyn College

👤 📚 Isaac Newton Institute Seminar Series 📍 No Room Required

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2024/10/9

📅 Talks on Wednesday, 09 October 2024

Evolving a formal language standard

Webinar: Harnessing the power of whole genome arrayed screening to discover new mechanisms and targets in rare genetic conditions

Ever-Mechanising the Ever-Expanding WebAssembly specification

Morning Coffee

Manuel Scherf on "The evolution and prevalence of Earth-like Habitats in the Galaxy"

Structures, superconductivity, and soft chemistry in anti-cuprate square lattice materials

Formally Specifying ABIs using Realistic Realizability

Hybrid Verification for Rust

Lunch at Churchill College

Spectral classification of white dwarfs by dimensionality reduction

Dynamics in gas is different

Some contributions of information theory to pure mathematics

Optimisation with respect to Qualitative Objectives

Sphere Neural-Networks for Rational Reasoning II

Sleepless and Alone: The Impact of Sleep Loss on Human Social Behavior

Convex Hulls of Higher-Dimensional Random Walks & First-Passage Resetting

PT-symmetric quantum mechanics: Physics off the real axis

Statistics Clinic Michaelmas 2024 I

From TDEs and GRBs to supernovae - Redback: A Bayesian inference software package for electromagnetic transients

ARC39.1 Launch Event & Keynote: Entangled or Entrapped; Human Induced Changes to the Beetle Fauna of the UK

Larger and more instructable language models become less reliable

Czech Collections

Formal Dinner at Selwyn College