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

05:00 Validity in Second Language Listening Assessment: Insights from Sensor Technologies Associate Professor Vahid Aryadoust National Institute of Education of Nanyang Technological University, Singapore Multilingualism and Languages Education (MuLtiE)
09:30 Welcome and Introduction Ulrike Tillmann (Isaac Newton Institute), Philippa Gardner (Imperial College London), Clare Merritt (Newton Gateway to Mathematics) Isaac Newton Institute Seminar Series
09:45 A Path to Memory-Safety Standardization Robert Watson (University of Cambridge) Isaac Newton Institute Seminar Series
10:15 seL4: Formally Verified Software Protects Deployed Critical Systems from Cyber Attacks June Andronick (Proofcraft) Isaac Newton Institute Seminar Series
10:45 Precision Under Pressure: The Growing Role of Formal Specifications in Shaping the Nuclear Industry's Future Sofia Guerra (Adelard) Isaac Newton Institute Seminar Series
11:15 Morning Tea and Coffee Isaac Newton Institute Seminar Series
11:45 Proof at AWS Byron Cook (Amazon) Isaac Newton Institute Seminar Series
12:00 SummaryMixing: A Linear-Time Attention Alternative Shucong Zhang, Samsung AI Center CUED Speech Group Seminars
12:15 Proofs for the People Peter O’Hearn (Meta) Isaac Newton Institute Seminar Series
12:30 Determining the direction of communication between the hippocampus and neocortex with layer-specific fMRI. Oliver Warrington (UCL) CBU Monday Methods Meeting
13:00 Introductory Lunchtime Talk - Introduction to Bestvina--Brady Morse theory Ana Isakovic, University of Cambridge Junior Geometry Seminar
13:00 [CANCELLED] Anisotropies in the GW sky at pulsar timing arrays Valerie Domcke (CERN) Cosmology Lunch
13:00 Developing blood-based longitudinal studies: the challenge and opportunity Professor Sarah Lewington, Nuffield Department of Population Health, University of Oxford HDR UK Cambridge Seminar Series
13:00 Whodunit? Is climate change responsible for ice loss from Antarctica? Dr Alex Bradley, British Antarctic Survey Quantitative Climate and Environmental Science Seminars
13:00 Re-enacting past experiments: how and why Hasok Chang (Department of History and Philosophy of Science) Cabinet of Natural History
13:00 Traversing the Eckmann-Hilton Hyperclock Wilf Offord (University of Cambridge) SANDWICH Seminar (Computer Laboratory)
13:05 Jane Street: One Log to Rule Them All - How to Keep State Straight in Distributed System Matt Else Technical Talks - Department of Computer Science and Technology
14:00 Back to the Building Blocks Anjana Rajan (the Office of the White House) Isaac Newton Institute Seminar Series
14:00 Long time behavior for vortex dynamics in the 2 dimensional Euler equations Monica Musso, University of Bath Geometric Analysis & Partial Differential Equations seminar
14:00 ML-MIX: A Package for Seamless Spatial Potential Mixing Inside LAMMPS Fraser Birks, University of Warwick Lennard-Jones Centre
14:00 The Laplace Surface of a Circumplanetary Disk Steve Lubow (Space Science Telescope Institute, USA) DAMTP Astrophysics Seminars
14:30 Developmental Constraint Underlying the Evolution of Morphological Diversity Madelaine Bartlett, Sainsbury Laboratory, University of Cambridge Morphogenesis Seminar Series
14:30 Anisotropic machine learning representations for coarse-graining Arthur Lin, University of Wisconsin–Madison Lennard-Jones Centre
14:45 Panel chaired by Natarajan Shankar (SRI International) Paul W2 (National Cyber Security Centre), Jade Alglave (ARM), Darren Cofer (Collins Aerospace), Raymond Richards (Leidos) Isaac Newton Institute Seminar Series
15:30 Afternoon Tea and Coffee Isaac Newton Institute Seminar Series
16:00 Ethics for the working mathematician, Seminar 2: Financial Mathematics and Modelling Maurice Chiodo C.U. Ethics in Mathematics Society (CUEiMS)
16:00 Contentious theories and computational approaches: A case study of the Harappan port Lothal and the Nal Corridor Dr Ekta Gupta, Catalan Institute of Classical Archaeology Computational and Digital Archaeology Lab (CDAL)
16:00 Big Specification Organisation and Adoption: Successes, Failures, Risks, and Enablers Peter Sewell (University of Cambridge) Isaac Newton Institute Seminar Series
16:00 Modelling contrast matching across luminance levels [practice talk] Maliha Ashraf, Univ. of Cambridge Rainbow Group Seminars
16:15 Neural representations of learned spatial behaviours Matthew Nolan, Centre for Discovery Brain Sciences (CDBS), University of Edinburgh Adrian Seminars in Neuroscience
16:30 Lightning Talks Isaac Newton Institute Seminar Series
17:00 Paradiastole and Civil War in Ancient Greek and Roman Thought Daniel Sutton (Peterhouse, University of Cambridge) Political Thought and Intellectual History
18:00 Phanerozoic seawater chemistry: Using Monte Carlo to to quantify calcium, magnesium and sulfate concentrations Dr Ross Whiteford - Royal Holloway Sedgwick Club talks
19:00 Wine Reception and Dinner at Corpus Christi College Isaac Newton Institute Seminar Series
19:30 CSAR lecture: Celebrating the contribution of viral sequencing to the COVID-19 pandemic response. Professor Sharon Peacock, Professor of Public Health and Microbiology, University of Cambridge; Director and Chair of the COVID-19 Genomics UK (COG-UK) consortium Cambridge Society for the Application of Research (CSAR)

📅 Talks on Monday, 21 October 2024

05:00

Validity in Second Language Listening Assessment: Insights from Sensor Technologies

👤 Associate Professor Vahid Aryadoust National Institute of Education of Nanyang Technological University, Singapore 📚 Multilingualism and Languages Education (MuLtiE) 📍 Room 1S3 DMB, Faculty of Education, University of Cambridge

09:30

Welcome and Introduction

👤 Ulrike Tillmann (Isaac Newton Institute), Philippa Gardner (Imperial College London), Clare Merritt (Newton Gateway to Mathematics) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

09:45

A Path to Memory-Safety Standardization

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

10:15

seL4: Formally Verified Software Protects Deployed Critical Systems from Cyber Attacks

👤 June Andronick (Proofcraft) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:45

Precision Under Pressure: The Growing Role of Formal Specifications in Shaping the Nuclear Industry's Future

👤 Sofia Guerra (Adelard) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:15

Morning Tea and Coffee

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

11:45

Proof at AWS

👤 Byron Cook (Amazon) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

SummaryMixing: A Linear-Time Attention Alternative

👤 Shucong Zhang, Samsung AI Center 📚 CUED Speech Group Seminars 📍 Hybrid: JDB Teaching Room, Engineering Department or Zoom: https://cam-ac-uk.zoom.us/j/87165608116?pwd=llCLiWvBAfOR7RtealbVtVbjXruh3O.1

12:15

Proofs for the People

👤 Peter O’Hearn (Meta) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:30

Determining the direction of communication between the hippocampus and neocortex with layer-specific fMRI.

👤 Oliver Warrington (UCL) 📚 CBU Monday Methods Meeting 📍 MRC-CBU, 15 Chaucer Road, Cambridge

13:00

Introductory Lunchtime Talk - Introduction to Bestvina--Brady Morse theory

👤 Ana Isakovic, University of Cambridge 📚 Junior Geometry Seminar 📍 MR13

13:00

[CANCELLED] Anisotropies in the GW sky at pulsar timing arrays

👤 Valerie Domcke (CERN) 📚 Cosmology Lunch 📍 CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]

13:00

Developing blood-based longitudinal studies: the challenge and opportunity

👤 Professor Sarah Lewington, Nuffield Department of Population Health, University of Oxford 📚 HDR UK Cambridge Seminar Series 📍 Heart and Lung Research Institute (R.100) or Virtually via Zoom: https://sanger.zoom.us/j/97135269370?pwd=YgsqXLPVYzO9oYY5CObjlWxNPtmBus.1

13:00

Whodunit? Is climate change responsible for ice loss from Antarctica?

👤 Dr Alex Bradley, British Antarctic Survey 📚 Quantitative Climate and Environmental Science Seminars 📍 MR3, CMS

13:00

Re-enacting past experiments: how and why

👤 Hasok Chang (Department of History and Philosophy of Science) 📚 Cabinet of Natural History 📍 Seminar Room 2, Department of History and Philosophy of Science

13:00

Traversing the Eckmann-Hilton Hyperclock

👤 Wilf Offord (University of Cambridge) 📚 SANDWICH Seminar (Computer Laboratory) 📍 FS07, Computer Laboratory

13:05

Jane Street: One Log to Rule Them All - How to Keep State Straight in Distributed System

👤 Matt Else 📚 Technical Talks - Department of Computer Science and Technology 📍 Lecture Theatre 1, Computer Laboratory, William Gates Building

14:00

Back to the Building Blocks

👤 Anjana Rajan (the Office of the White House) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

Long time behavior for vortex dynamics in the 2 dimensional Euler equations

👤 Monica Musso, University of Bath 📚 Geometric Analysis & Partial Differential Equations seminar 📍 MR13

14:00

ML-MIX: A Package for Seamless Spatial Potential Mixing Inside LAMMPS

👤 Fraser Birks, University of Warwick 📚 Lennard-Jones Centre 📍 Zoom link: https://zoom.us/j/92447982065?pwd=RkhaYkM5VTZPZ3pYSHptUXlRSkppQT09

14:00

The Laplace Surface of a Circumplanetary Disk

👤 Steve Lubow (Space Science Telescope Institute, USA) 📚 DAMTP Astrophysics Seminars 📍 MR14 DAMTP and online

14:30

Developmental Constraint Underlying the Evolution of Morphological Diversity

👤 Madelaine Bartlett, Sainsbury Laboratory, University of Cambridge 📚 Morphogenesis Seminar Series 📍 in person at Genetics, Part II teaching room and online

14:30

Anisotropic machine learning representations for coarse-graining

👤 Arthur Lin, University of Wisconsin–Madison 📚 Lennard-Jones Centre 📍 Zoom link: https://zoom.us/j/92447982065?pwd=RkhaYkM5VTZPZ3pYSHptUXlRSkppQT09

14:45

Panel chaired by Natarajan Shankar (SRI International)

👤 Paul W2 (National Cyber Security Centre), Jade Alglave (ARM), Darren Cofer (Collins Aerospace), Raymond Richards (Leidos) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

15:30

Afternoon Tea and Coffee

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

16:00

Ethics for the working mathematician, Seminar 2: Financial Mathematics and Modelling

👤 Maurice Chiodo 📚 C.U. Ethics in Mathematics Society (CUEiMS) 📍 MR14, CMS, Wilberforce Road, Cambridge, CB3 0WB

16:00

Contentious theories and computational approaches: A case study of the Harappan port Lothal and the Nal Corridor

👤 Dr Ekta Gupta, Catalan Institute of Classical Archaeology 📚 Computational and Digital Archaeology Lab (CDAL) 📍 McDonald Institute Seminar Room, Department of Archaeology, Downing Site

16:00

Big Specification Organisation and Adoption: Successes, Failures, Risks, and Enablers

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

16:00

Modelling contrast matching across luminance levels [practice talk]

👤 Maliha Ashraf, Univ. of Cambridge 📚 Rainbow Group Seminars 📍 SS28 (Common Room)

16:15

Neural representations of learned spatial behaviours

👤 Matthew Nolan, Centre for Discovery Brain Sciences (CDBS), University of Edinburgh 📚 Adrian Seminars in Neuroscience 📍 Hodgkin-Huxley Seminar Room

16:30

Lightning Talks

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

17:00

Paradiastole and Civil War in Ancient Greek and Roman Thought

👤 Daniel Sutton (Peterhouse, University of Cambridge) 📚 Political Thought and Intellectual History 📍 Bateman Auditoriuim, Gonville and Caius College

18:00

Phanerozoic seawater chemistry: Using Monte Carlo to to quantify calcium, magnesium and sulfate concentrations

👤 Dr Ross Whiteford - Royal Holloway 📚 Sedgwick Club talks 📍 Harker 1 lecture room, Department of Earth Sciences, Downing Site

19:00

Wine Reception and Dinner at Corpus Christi College

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

19:30

CSAR lecture: Celebrating the contribution of viral sequencing to the COVID-19 pandemic response.

👤 Professor Sharon Peacock, Professor of Public Health and Microbiology, University of Cambridge; Director and Chair of the COVID-19 Genomics UK (COG-UK) consortium 📚 Cambridge Society for the Application of Research (CSAR) 📍 Location: Wolfson Lecture Theatre, Churchill College, and Zoom

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2024/10/21

📅 Talks on Monday, 21 October 2024