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

09:00 Scaling Formal Verification with Machine Learning Swarat Chaudhuri (Google DeepMind Technologies Limited) Isaac Newton Institute Seminar Series
09:30 Neural Network Verification as a Programming Language Challenge Ekaterina Komendantskaya (Heriot-Watt University) Isaac Newton Institute Seminar Series
10:00 Securing Microsoft's Code Matthew Parkinson (Microsoft (UK)) Isaac Newton Institute Seminar Series
11:00 Safety First: WebAssembly as a Formally Specified Universal Compute Platform Andreas Rossberg (None / Other) Isaac Newton Institute Seminar Series
11:00 The Fascinating World of Lightning Research Dr Daniel Mitchard, Senior Lecturer Lightning Laboratory, Cardiff University Centre for Atmospheric Science seminars, Chemistry Dept.
11:15 Studies of the reionization-era intergalactic and circumgalactic media using cosmological simulations Dr. Caitlin Doughty (University of Leiden/MPA Garching) Hills Coffee Talks
11:30 Using Formal Methods to keep Unsafe Rust in Check Ralf Jung (ETH Zurich) Isaac Newton Institute Seminar Series
12:00 Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale Azalea Raad (Imperial College London), Brijesh Dongol (University of Surrey) Isaac Newton Institute Seminar Series
12:00 Label-free detection and profiling of individual solution-phase molecules Lisa-Maria Needham Biochemistry Seminar Series - External Speakers
12:00 Exploring Central Africa's Lithium Pegmatites: Geology, Resource Potential, and Geopolitical context Anouk Borst, Katholieke Universiteit, Leuven Department of Earth Sciences Seminars (downtown)
12:00 Exploring overlapping cognition in music making Dr Neta Spiro (Research Fellow in Performance Science at the Royal College of Music) CMS seminar series in the Faculty of Music
12:45 Lunch Isaac Newton Institute Seminar Series
13:00 Ising spin model for active particles making directional decision-making Prof. Nir Gov Department of Chemical and Biological Physics Weizmann Institute of Science Rehovot (Israel) DAMTP Statistical Physics and Soft Matter Seminar
13:00 Are there Underlying Principles of Protein Evolution? Reconsidering Law and Purpose in Biology Dr Zachary Ardern Faraday Institute for Science and Religion
13:00 Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines Peggy Brunache (University of Glasgow) African Archaeology Group Seminar Series
13:00 Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines Dr Peggy Brunache Americas & Caribbean Archaeology Group
13:10 Pre-Christian Typologies in Greece and Rome Dr Peter Martin, Mary and Moses Finley Fellow, Darwin College Darwin College Humanities and Social Sciences Seminars
14:00 BSU Seminar: "Graphical and summary diagnostics for node level adequacy in Bayesian hierarchical models" Ida Scheel, University of Oslo MRC Biostatistics Unit Seminars
14:00 Our Software Systems Are Vulnerable. Imagine a World Where They're Not. Kathleen Fisher (Defense Advanced Research Projects Agency (DARPA)) Isaac Newton Institute Seminar Series
14:00 Fragmentations with erasure Serge Cohen, Toulouse Probability
14:30 Formal Methods for Cyber Security Adam W1 (National Cyber Security Centre) Isaac Newton Institute Seminar Series
15:00 Advancing Formal Methods: A Front Row Seat Brad Martin (National Security Agency) Isaac Newton Institute Seminar Series
15:00 Cambridge Reproduction Forum - Creating Connections Speaker to be confirmed Cambridge Reproduction
15:45 Closing Remarks Philippa Gardner (Imperial College London) Isaac Newton Institute Seminar Series
16:00 Afternoon Tea and Coffee Isaac Newton Institute Seminar Series
16:00 The short- and medium-term impacts of Sure Start on children's outcomes. Dr Sarah Cattan, Institute for Fiscal Studies Centre for Child, Adolescent & Family Research Seminar Series
16:30 Functional genomic screens and AI: a key partnership for successful therapeutic development Dr Nicola McCarthy and Dr Namshik Han (both at the Milner Therapeutics Institute, University of Cambridge) Milner Special Seminars
17:00 Garga's knowledge of the crow (vāyasavidyā) and the beginnings of South Asian ornithology Kenneth Zysk (University of Copenhagen) Early Science and Medicine
18:00 Lessons for human TB and its treatment from the tiny transparent zebrafish larva Prof Lalita Ramakrishnan SciSoc – Cambridge University Scientific Society
18:00 CURC Talk: Young Rail Professionals Speaker to be confirmed Cambridge University Railway Club

📅 Talks on Tuesday, 22 October 2024

09:00

Scaling Formal Verification with Machine Learning

👤 Swarat Chaudhuri (Google DeepMind Technologies Limited) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

09:30

Neural Network Verification as a Programming Language Challenge

👤 Ekaterina Komendantskaya (Heriot-Watt University) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:00

Securing Microsoft's Code

👤 Matthew Parkinson (Microsoft (UK)) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:00

Safety First: WebAssembly as a Formally Specified Universal Compute Platform

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

11:00

The Fascinating World of Lightning Research

👤 Dr Daniel Mitchard, Senior Lecturer Lightning Laboratory, Cardiff University 📚 Centre for Atmospheric Science seminars, Chemistry Dept. 📍 Chemistry Dept, Unilever Lecture Theatre and Zoom

11:15

Studies of the reionization-era intergalactic and circumgalactic media using cosmological simulations

👤 Dr. Caitlin Doughty (University of Leiden/MPA Garching) 📚 Hills Coffee Talks 📍 Coffee area, Battcock Centre

11:30

Using Formal Methods to keep Unsafe Rust in Check

👤 Ralf Jung (ETH Zurich) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale

👤 Azalea Raad (Imperial College London), Brijesh Dongol (University of Surrey) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

Label-free detection and profiling of individual solution-phase molecules

👤 Lisa-Maria Needham 📚 Biochemistry Seminar Series - External Speakers 📍 Jean Thomas Lecture theatre, Sanger Building, Tennis Court Road

12:00

Exploring Central Africa's Lithium Pegmatites: Geology, Resource Potential, and Geopolitical context

👤 Anouk Borst, Katholieke Universiteit, Leuven 📚 Department of Earth Sciences Seminars (downtown) 📍 Department of Earth Sciences, Tilley Lecture Theatre

12:00

Exploring overlapping cognition in music making

👤 Dr Neta Spiro (Research Fellow in Performance Science at the Royal College of Music) 📚 CMS seminar series in the Faculty of Music 📍 CMS computer room, Faculty of Music (11 West Road, Cambridge, CB3 9DP)

12:45

Lunch

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

13:00

Ising spin model for active particles making directional decision-making

👤 Prof. Nir Gov Department of Chemical and Biological Physics Weizmann Institute of Science Rehovot (Israel) 📚 DAMTP Statistical Physics and Soft Matter Seminar 📍 Center for Mathematical Sciences, Lecture room MR4

13:00

Are there Underlying Principles of Protein Evolution? Reconsidering Law and Purpose in Biology

👤 Dr Zachary Ardern 📚 Faraday Institute for Science and Religion 📍 Healey Room, Westminster College

13:00

Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines

👤 Peggy Brunache (University of Glasgow) 📚 African Archaeology Group Seminar Series 📍 Garrod Seminar Room, MacDonald Institute for Archaeological Research

13:00

Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines

👤 Dr Peggy Brunache 📚 Americas & Caribbean Archaeology Group 📍 Seminar Room, McDonald Institute for Archaeological Research

13:10

Pre-Christian Typologies in Greece and Rome

👤 Dr Peter Martin, Mary and Moses Finley Fellow, Darwin College 📚 Darwin College Humanities and Social Sciences Seminars 📍 Richard King room, Darwin College

14:00

BSU Seminar: "Graphical and summary diagnostics for node level adequacy in Bayesian hierarchical models"

👤 Ida Scheel, University of Oslo 📚 MRC Biostatistics Unit Seminars 📍 MRC Biostatistics Unit, East Forvie Building, Forvie Site Robinson Way Cambridge CB2 0SR.

14:00

Our Software Systems Are Vulnerable. Imagine a World Where They're Not.

👤 Kathleen Fisher (Defense Advanced Research Projects Agency (DARPA)) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

Fragmentations with erasure

👤 Serge Cohen, Toulouse 📚 Probability 📍 MR12

14:30

Formal Methods for Cyber Security

👤 Adam W1 (National Cyber Security Centre) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

15:00

Advancing Formal Methods: A Front Row Seat

👤 Brad Martin (National Security Agency) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

15:00

Cambridge Reproduction Forum - Creating Connections

👤 Speaker to be confirmed 📚 Cambridge Reproduction 📍 The Pitt Building, Trumpington Street, Cambridge CB2 1RP

15:45

Closing Remarks

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

16:00

Afternoon Tea and Coffee

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

16:00

The short- and medium-term impacts of Sure Start on children's outcomes.

👤 Dr Sarah Cattan, Institute for Fiscal Studies 📚 Centre for Child, Adolescent & Family Research Seminar Series 📍 Hybrid: in-person in Cambridge & online via Teams

16:30

Functional genomic screens and AI: a key partnership for successful therapeutic development

👤 Dr Nicola McCarthy and Dr Namshik Han (both at the Milner Therapeutics Institute, University of Cambridge) 📚 Milner Special Seminars 📍 West Hub, JJ Thomson Ave, Cambridge CB3 0US

17:00

Garga's knowledge of the crow (vāyasavidyā) and the beginnings of South Asian ornithology

👤 Kenneth Zysk (University of Copenhagen) 📚 Early Science and Medicine 📍 Seminar Room 1, Department of History and Philosophy of Science

18:00

Lessons for human TB and its treatment from the tiny transparent zebrafish larva

👤 Prof Lalita Ramakrishnan 📚 SciSoc – Cambridge University Scientific Society 📍 Wolfson Lecture Theatre, Department of Chemistry, Lensfield Road

18:00

CURC Talk: Young Rail Professionals

👤 Speaker to be confirmed 📚 Cambridge University Railway Club 📍 Angevin Room, Queens' College

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2024/10/22

📅 Talks on Tuesday, 22 October 2024

Scaling Formal Verification with Machine Learning

Neural Network Verification as a Programming Language Challenge

Securing Microsoft's Code

Safety First: WebAssembly as a Formally Specified Universal Compute Platform

The Fascinating World of Lightning Research

Studies of the reionization-era intergalactic and circumgalactic media using cosmological simulations

Using Formal Methods to keep Unsafe Rust in Check

Discussion: Academia, Industry and Government Working Together to Use Formal Specifications at Scale

Label-free detection and profiling of individual solution-phase molecules

Exploring Central Africa's Lithium Pegmatites: Geology, Resource Potential, and Geopolitical context

Exploring overlapping cognition in music making

Lunch

Ising spin model for active particles making directional decision-making

Are there Underlying Principles of Protein Evolution? Reconsidering Law and Purpose in Biology

Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines

Reinterpreting A Black Past: Historical archaeology in St. Vincent and the Grenadines

Pre-Christian Typologies in Greece and Rome

BSU Seminar: "Graphical and summary diagnostics for node level adequacy in Bayesian hierarchical models"

Our Software Systems Are Vulnerable. Imagine a World Where They're Not.

Fragmentations with erasure

Formal Methods for Cyber Security

Advancing Formal Methods: A Front Row Seat

Cambridge Reproduction Forum - Creating Connections

Closing Remarks

Afternoon Tea and Coffee

The short- and medium-term impacts of Sure Start on children's outcomes.

Functional genomic screens and AI: a key partnership for successful therapeutic development

Garga's knowledge of the crow (vāyasavidyā) and the beginnings of South Asian ornithology

Lessons for human TB and its treatment from the tiny transparent zebrafish larva

CURC Talk: Young Rail Professionals