Cambridge talks

House MR15, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Sticky feet: biophysical models for cell adhesion

User Maria Tatulea-Codrean, University of Cambridge.

Thursday 25 April 2024, 13:00-14:00

Tagging Anglo-Saxon Stone Sculptures Using Multi-Label Image Classification ML Techniques

User Zeynep Aki - RSE, University of Durham.

House West 2, West Hub.

Thursday 25 April 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

Early phase neuroplasticity induced by transcranial ultrasound stimulation

User Elsa Fouragnan (U. of Plymouth).

Thursday 25 April 2024, 14:00-15:00

Departmental Seminars in History and Philosophy of Science

Algorithmic diagnosis and the problem of statistical evidence

CANCELLED

User Sune Hannibal Holm (University of Copenhagen).

House Large Lecture Theatre, Department of Plant Sciences, Downing Site.

Thursday 25 April 2024, 15:30-17:00

House Hodgkin Huxley Seminar Room, Physiology builiding, Downing Site CB2 3EG.

Eating and Walking - how cells manage their energy budget during migration and invasion

User Laura Machesky, Department of Biochemistry, University of Cambridge.

Thursday 25 April 2024, 16:00-17:00

House https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09.

Large language models for enabling constructive online conversations

User Kristina Gligorić, Stanford University.

Thursday 25 April 2024, 16:00-17:00

DPMMS Departmental Colloquia

When is a mathematical object well behaved?

User Julia Wolf (Cambridge).

House CMS MR2.

Thursday 25 April 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Formalising Theory of Combinatorial Optimisation

Online

User Mohammad Abdulaziz (King's College London).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 25 April 2024, 17:00-18:00

House Ground Floor Lecture Theatre, Department of Psychology.

Face Learning in People with Developmental Prosopagnosia and “Super-Recognisers"

User Professor Sarah Bate (Bournemouth University).

Friday 26 April 2024, 12:00-13:30

House SS03, William Gates Building. .

Title to be confirmed

User Speaker to be confirmed.

Friday 26 April 2024, 12:00-13:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Using AI to Accelerate Evidence Synthesis and Decision Support to Save Biodiversity

User Alec Christie, Henslow Research Fellow, Downing College.

Friday 26 April 2024, 13:00-14:00

Developmental Biology Seminar Series

Differential tissue deformability underlies fluid pressure driven shape divergence of the embryonic brain and spinal cord

User Susannah McLaren, Gurdon Institute.

House Biffen Theater- Please subscribe to mailing list for link.

Friday 26 April 2024, 13:00-14:00

Spatial causal inference in the presence of unmeasured confounding and interference

User Georgia Padadogeorgou, University of Florida.

Engineering - Dynamics and Vibration Tea Time Talks

Friday 26 April 2024, 14:00-15:00

Methods for information transfer within populations of structures

User Dr Tina Dardeno, University of Sheffield.

Friday 26 April 2024, 16:00-17:00

Mathematical Models for Evaporating Sessile Droplets

User Stephen Wilson, University of Strathclyde.

Computer Laboratory Security Seminar

Friday 26 April 2024, 16:00-17:00

A biography of Tor - a cultural and technological history of power, privacy, and global politics at the internet's core

User Ben Collier, University of Edinburgh.

House Online & LT2, Computer Laboratory, William Gates Building..

Friday 26 April 2024, 17:00-18:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Programmed evolution: Using asexual gene drives to sculpt tumor populations and combat genetic diversity

User Justin Pritchard, Penn State College of Engineering.

House CRUK CI Lecture Theatre.

Monday 29 April 2024, 12:30-13:30

Brain age prediction using diffusion MRI data

User James Bacon (University of Cambridge).

Cabinet of Natural History

Monday 29 April 2024, 12:50-13:30

Jungius and Leibniz on textiles and texture in the 17th century

User Michael Freidman (Cohn Institute for the History and Philosophy of Science and Ideas).

House Seminar Room 2, Department of History and Philosophy of Science.

Monday 29 April 2024, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Can a computer judge interestingness?

(NOTE UNUSUAL DAY/TIME)

User Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).

House MR15 Centre for Mathematical Sciences.

Monday 29 April 2024, 14:00-15:00

Adrian Seminars in Neuroscience

Egocentric and allocentric representations in cortical structures

User Michael Hasselmo, Boston University, Massachusetts, U.S.A..

House Hodgkin-Huxley Seminar Room.

Monday 29 April 2024, 16:15-18:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: What to do about plastics?

User Professor Jonathan Cullen, Department of Engineering, University of Cambridge.

House Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 29 April 2024, 19:30-21:00

Child Development Forum (CDF)

Child Development Forum Easter I

User Kelsey Graber (Education), Eireann Attridge (Education), Jessica van de Grint (Psychology).

House South Pole Large Meeting Room, MRC Cognition and Brain Sciences Unit, University of Cambridge, Chaucer Road.

Tuesday 30 April 2024, 09:30-11:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

The UK AI Safety Institute

User Nitarshan Rajkumar (University of Cambridge & UK AI Safety Institute).

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 30 April 2024, 13:00-14:00

House Computer Laboratory, William Gates Building, Room SS03.

Polynomial-Time Pseudodeterministic Construction of Primes

User Igor Carboni Oliveira (University of Warwick).

Tuesday 30 April 2024, 14:00-15:00

House Computer Lab, FW26 and Online.

Towards Digital Endpoints of Quality of Life

Zoom: https://cam-ac-uk.zoom.us/j/82137851196?pwd=M1NNeExnYk9VQ0JhUDlaWThydGlGQT09

User Katarzyna Wac, University of Geneva.

Tuesday 30 April 2024, 16:00-17:00

History of Modern Medicine and Biology

Brain studying brain: the neuro disciplines in the early Cold War

User Andreas Killen (The City College of New York, CUNY).

House Seminar Room 1, Department of History and Philosophy of Science.

Tuesday 30 April 2024, 17:00-18:30

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

User Andrej Bauer, University of Ljubljana.

House SS03, Computer Laboratory.

Wednesday 01 May 2024, 10:00-11:00

ARClub Talks

Perceptual decision-making in autism: From neurochemistry to cognition

User Nazia Jassim, University of Cambridge.

House https://us02web.zoom.us/j/81268825017?pwd=dndNSE9selNDTktIUGNNejZKZDFVUT09 .

Wednesday 01 May 2024, 11:30-12:30

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Title to be confirmed

User Brooke Rogers (King's College London).

Wednesday 01 May 2024, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Professor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 May 2024, 15:05-15:55

House GR04, English Faculty Building, 9 West Road, Sidgwick Site.

Language modelling for the sake of language modelling

User Nikos Aletras, University of Sheffield.

Thursday 02 May 2024, 11:00-12:00

Clinical Neurosciences Seminars

“On Brains and Vessels: How perivascular fibroblasts contribute to ALS neurodegeneration”

In person only. (No recording will be available.)

User Sebastian Lewandowski, Karolinska Institutet.

House Seminar Room, John van Geest Centre for Brain Repair, Forvie Site.

Thursday 02 May 2024, 12:00-13:00

House MR15, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Title to be confirmed

User Euan Smithers, University of Cambridge.

Thursday 02 May 2024, 13:00-14:00

Optimal approaches with Zig

User Fergus Baker - University of Bristol.

Thursday 02 May 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

Paranoia: My life understanding and treating extreme mistrust

User Dan Freeman (U. of Oxford).

Thursday 02 May 2024, 14:00-15:00

Departmental Seminars in History and Philosophy of Science

Volcanoes and their lovers: a brief and biased history of volcanology

User Clive Oppenheimer (Department of Geography).

House Large Lecture Theatre, Department of Plant Sciences, Downing Site.

Thursday 02 May 2024, 15:30-17:00

Formalisation of mathematics with interactive theorem provers

Condensed Type Theory

User Johan Commelin (Utrecht University).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 02 May 2024, 17:00-18:00

House MR5 DAMTP and online.

From Machine Learning Parameterization to Full Model Emulation

User David John Gagne - Head of Machine Integration and Learning for Earth Systems, NCAR.

Friday 03 May 2024, 11:00-12:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 03 May 2024, 12:00-13:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Aaditeshwar Seth, Indian Institute of Technology Delhi.

Friday 03 May 2024, 13:00-14:00

Developmental Biology Seminar Series

An ancient regulatory network sets the position of the forebrain in chordates

User Elia Benito-Gutierrez, Department of Zoology/Genentech.

House Biffen Theater- Please subscribe to mailing list for link.

Friday 03 May 2024, 13:00-14:00

Rates of convergence for tensor denoising

User Sara van de Geer, ETH Zürich.

Engineering - Mechanics and Materials Seminar Series

Friday 03 May 2024, 14:00-15:00

Self-assembled active actomyosin gels spontaneously curve and wrinkle similar to biological cells and tissues

User Prof. Anne Bernheim, Ben-Gurion University of the Negev.

House Oatley 1 Meeting Room, Department of Engineering.

Friday 03 May 2024, 14:00-15:00

Engineering - Dynamics and Vibration Tea Time Talks

TOWARDS QUANTUM COMPUTATIONAL MECHANICS

User Dr Burigede Liu, CUED.

Friday 03 May 2024, 16:00-17:00

The scaling of the drag force on an accelerating plate

User Jerry Westerweel, TU Delft.

Friday 03 May 2024, 16:00-17:00

House Ground Floor Lecture Theatre, Department of Psychology.

Neurocognitive ageing within the Lothian Birth Cohorts

User Dr Simon Cox, Psychology Department, University of Edinburgh.

Friday 03 May 2024, 16:30-18:00

Cabinet of Natural History

The cannibalized print: deconstructing Charles Estienne's anatomical woodcut illustrations in De dissectione (1545)

User Sheena McKeever (Department of History of Art).

House Seminar Room 2, Department of History and Philosophy of Science.

Monday 06 May 2024, 13:00-14:00

House Computer Lab, FW26 and Online.

Technology for Bioelectronic Medicine

Zoom: https://cam-ac-uk.zoom.us/j/86706559019?pwd=TU1mVkV4dWpla0hyVDkyaG4zMU5mQT09

User George Malliaras (Department of Engineering, University of Cambridge).

Tuesday 07 May 2024, 16:00-17:00

Early Science and Medicine

Artists as futurists? On the history of durability in art and the making of the future

User Marjolijn Bol (Utrecht University).

House Seminar Room 1, Department of History and Philosophy of Science.

Tuesday 07 May 2024, 17:00-18:30

Centre of Governance and Human Rights Events

AI and Human Rights

User Mathias Risse; Jude Browne; Sebastian Lehuede; Matt Mahmoudi.

House Sociology Seminar Room, CB2 3RQ, Cambridge.

Tuesday 07 May 2024, 17:30-19:00

CamPoS (Cambridge Philosophy of Science) seminar

Quantifying the human: values in measurement or measuring value?

User Cristian Larroulet Philippi (Gonville and Caius College).

House Seminar Room 1, Department of History and Philosophy of Science.

Wednesday 08 May 2024, 13:00-14:30

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Title to be confirmed

User Julia Ebner (Cambridge).

Wednesday 08 May 2024, 15:00-16:00

MRC Mitochondrial Biology Unit Seminars

Non-uniform regulation of epigenetic marks via metabolism in a developing tissue

User Professor Dr Aurelio Teleman.

House MRC MBU, Level 7 Lecture Theatre, The Keith Peters Building, CB2 0XY.

Wednesday 08 May 2024, 15:00-16:00

Statistics Clinic Easter 2024 II

User MR5 at the CMS.

Wednesday 08 May 2024, 16:30-18:00

House https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09.

Title to be confirmed

User Nouha Dziri, Allen Institute for AI.

Thursday 09 May 2024, 11:00-12:00

House MR15, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Title to be confirmed

User Tamsin Spelman.

Thursday 09 May 2024, 13:00-14:00

TBC

User TBC.

Thursday 09 May 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

Recognition memory, its neural bases, and the role of ‘parietal’ attention allocation in its function

User Daniela Montaldi (U. of Manchester).

Thursday 09 May 2024, 14:00-15:00

Departmental Seminars in History and Philosophy of Science

Cocoon cultures: the (dis)entangling of silk and biology in Japan

User Lisa Onaga (Max Planck Institute for the History of Science).

House Large Lecture Theatre, Department of Plant Sciences, Downing Site.

Thursday 09 May 2024, 15:30-17:00

House Hodgkin Huxley Seminar Room, Physiology builiding, Downing Site CB2 3EG.

Behavioural and mechanical heterogeneities underpin cell migration essential for mouse anterior patterning

User Shankar Srinivas, Professor of Developmental Biology in the Department of Physiology Anatomy & Genetics at the University of Oxford, based at the Institute for Developmental and Regenerative Medicine. .

Thursday 09 May 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Tomas Skrivan (Carnegie Mellon University).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 09 May 2024, 17:00-18:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Automated Fact-Checking of Climate Change Claims with Large Language Models

User Dominik Stammbach, ETH Zurich.

Friday 10 May 2024, 13:00-14:00

House Room FW26 at CL or William Gates Building or on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Automated Fact-Checking of Climate Change Claims with Large Language Models

User Dominik Stammbach, ETH Zurich.

Friday 10 May 2024, 13:00-14:00

Developmental Biology Seminar Series

Multi-tissue tectonics enable self-assembly of the vertebrate body axis

User Benjamin Steventon, Department of Genetics.

House Biffen Theater- Please subscribe to mailing list for link.

Friday 10 May 2024, 13:00-14:00

Engineering - Dynamics and Vibration Tea Time Talks

MONITORING, UNDERSTANDING AND MAINTENANCE OF RAIL DEFECTS ON A EUROPEAN METRO SYSTEM

User Dr Stuart Grassie, RailMeasurement Ltd.

Friday 10 May 2024, 16:00-17:00

Geometry and learning of dynamical systems

User Igor Mezic, UC Santa Barbara.

Friday 10 May 2024, 16:00-17:00

House Ground Floor Lecture Theatre, Department of Psychology.

Translational neuroimaging studies of addiction and other stress-related disorders

User Professor Jeffrey W. Dalley, Department of Psychology, Cambridge.

Friday 10 May 2024, 16:30-18:00

Cabinet of Natural History

Comets in medieval Arabic astronomical and historical treatise

User Aisha Alowais Alshamsi (Warburg Institute).

House Seminar Room 2, Department of History and Philosophy of Science.

Monday 13 May 2024, 13:00-14:00

Signal Processing and Communications Lab Seminars

Quickest Change Detection Using Mismatched CUSUM

User Prof. Sean Meyn, University of Florida.

House LT6, Baker Building, CUED.

Monday 13 May 2024, 14:00-13:00

House Computer Laboratory, William Gates Building, Room SS03.

Perfect Zero-Knowledge PCPs for #P

User Jack O'Connor (University of Cambridge).

Tuesday 14 May 2024, 14:00-15:00

History of Modern Medicine and Biology

The global health focus on early life: origin stories

User Michelle Pentecost (King's College London).

House Seminar Room 1, Department of History and Philosophy of Science.

Tuesday 14 May 2024, 17:00-18:30

Chemical Engineering and Biotechnology

Bigger Picture Talks @ CEB - New genetic therapies for Huntington's disease and other neurodegenerative diseases?

User Sarah Tabrizi - Director, Huntington's Disease Centre, UCL.

House Department of Chemical Engineering & Biotechnology.

Wednesday 15 May 2024, 13:30-14:30

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Dr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 15 May 2024, 15:05-15:55

House MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Title to be confirmed

User Anne Bernheim, Ben-Gurion University of the Negev.

Thursday 16 May 2024, 13:00-14:00

From research to operation - development of a space weather forecast system

User Sarah Glauert & Peter Kirsch - British Antarctic Survey.

Thursday 16 May 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

Sleep to forget unwanted memories

User Scott Cairney (U. of York).

Thursday 16 May 2024, 14:00-15:00

House https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09.

Title to be confirmed

User Danqi Chen, Princeton University.

Thursday 16 May 2024, 14:00-15:00

Departmental Seminars in History and Philosophy of Science

Opening the West with Japanese mermaid mummies: ningyo in the making of the theory of evolution

User Mateja Kovacic (Hong Kong Baptist University).

House Large Lecture Theatre, Department of Plant Sciences, Downing Site.

Thursday 16 May 2024, 15:30-17:00

Formalisation of mathematics with interactive theorem provers

Teaching using a proof assistant and controlled natural language

User Patrick Massot (Université Paris-Saclay and Carnegie Mellon University).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 16 May 2024, 17:00-18:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 17 May 2024, 12:00-13:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 17 May 2024, 12:00-13:00

Title to be confirmed

User Alexandra Carpentier, University of Potsdam.

Engineering - Mechanics and Materials Seminar Series

Friday 17 May 2024, 14:00-15:00

Unravelling the Mechanics of MAX Phases: Investigating Deformation and Failure Mechanisms in Single and Polycrystalline Structures

User Professor Miladin Radovic, Texas A&M University.

House Oatley 1 Meeting Room, Department of Engineering.

Friday 17 May 2024, 14:00-15:00

PhD students' talks

User Speakers to be confirmed.

Engineering - Dynamics and Vibration Tea Time Talks

Friday 17 May 2024, 14:00-17:00

On Reduced Order Models for Jointed Structures

User Dr Paolo Tiso, ETH Zurich.

Friday 17 May 2024, 16:00-17:00

House Ground Floor Lecture Theatre, Department of Psychology.

The Cognitive Biology of Language

The host for this talk is Jeff Dalley

User Professor Johan Bolhuis, Utrecht University.

Friday 17 May 2024, 16:30-18:00

ISMRM highlights

User Multiple.

Monday 20 May 2024, 12:30-13:30

House Online (zoom link will appear shortly before the talk).

Inspiration of Taiji: Can Audio Benefit Healthcare for Diagnosis and Treatment?

Zoom: https://cam-ac-uk.zoom.us/j/82997731682?pwd=cTFJdmd5aEcxWVU4SjhJcW5HRWt5dz09

User Kun QIAN, School of Medical Technology Beijing Institute of Technology China.

Tuesday 21 May 2024, 16:00-17:00

Early Science and Medicine

Self-translating science in early modern Europe: preliminary insights from the project Writing Bilingually, 1465–1700

User Sara Miglietti (Warburg Institute).

House Seminar Room 1, Department of History and Philosophy of Science.

Tuesday 21 May 2024, 17:00-18:30

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Title to be confirmed

User Brent Lee.

Wednesday 22 May 2024, 15:00-16:00

Statistics Clinic Easter 2024 III

User MR5 at the CMS.

Wednesday 22 May 2024, 16:30-18:00

House https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09.

Title to be confirmed

User Refael Tikochinski, Hebrew University of Jerusalem.

Thursday 23 May 2024, 11:00-12:00

Computational aspects of bio-image analysis with focus on lightsheet microscopy

User Leila Muresan - PDN, University of Cambridge.

House West Hub, West 1.

Thursday 23 May 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

How does the human brain recognize faces?

User Bruno Rossion (U. of Lorraine).

Thursday 23 May 2024, 14:00-15:00

Departmental Seminars in History and Philosophy of Science

Gerd Buchdahl, Kantian philosopher of science

User Nick Jardine (History and Philosophy of Science) and Angela Breitenbach (Philosophy).

House Large Lecture Theatre, Department of Plant Sciences, Downing Site.

Thursday 23 May 2024, 15:30-17:00

House Hodgkin Huxley Seminar Room, Physiology builiding, Downing Site CB2 3EG.

Title to be confirmed

User Stefanie Wculek, IRB (Biomedical Research Institute, Barcelona).

Thursday 23 May 2024, 16:00-17:00

Cambridge RNA Club

Cambridge RNA Club - May session IN PERSON

User Speaker to be confirmed.

House Gurdon Institute Tea Room - RNA Club.

Thursday 23 May 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Georges Gonthier.

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 23 May 2024, 17:00-18:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 24 May 2024, 12:00-13:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Frank Feng, Independent Researcher.

Friday 24 May 2024, 13:00-14:00

Engineering - Mechanics Colloquia Research Seminars

Title to be confirmed

User Prof. Christopher Pierre, Stevens Institute of Technology.

House Department of Engineering - LT6.

Friday 24 May 2024, 14:00-15:00

Title to be confirmed

User Andre Wibisono, Yale University.

Friday 24 May 2024, 14:00-15:00

Biomedical Fluid Mechanics: applications in urology and regenerative medicine

User Sarah Waters, University of Oxford.

Friday 24 May 2024, 16:00-17:00

House Computer Laboratory, William Gates Building, Room SS03.

Title to be confirmed

User Laszlo Vegh (London School of Economics).

Tuesday 28 May 2024, 14:00-15:00

House Online (zoom link will appear shortly before the talk).

Pushing the Limit of Mobile Sensing: Smart Healthcare in the Age of AioT

Zoom: https://cam-ac-uk.zoom.us/j/81281212346?pwd=Z0FwS3h3Uy9hV0I2ZlR1dnUva3RVdz09

User Qian Zhang, Hong Kong University of Science and Technology.

Tuesday 28 May 2024, 16:00-17:00

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Cambridge Overcoming Polarisation Initiative

User Ceejay Hayes and Yara Kyrychenko (Cambridge) .

Wednesday 29 May 2024, 15:00-16:00

House Faculty of English, Room SR24.

Title to be confirmed

User Jose Camacho Collados, Cardiff University.

Thursday 30 May 2024, 11:00-12:00

Who said using GPUs was straightforward? - Straightforward GPU programming in SYCL and OpenMP

User Tobias Weinzierl - University of Durham.

Thursday 30 May 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

The problem with mental health awareness

User Lucy Foulkes (U. of Oxford).

Thursday 30 May 2024, 14:00-15:00

Rausing Lecture

Technology and interconnection in Southeast Asia's longue durée

Twenty-Eighth Annual Hans Rausing Lecture

User Suzanne Moon (University of Oklahoma).

House The Frankopan Hall, Jesus College, Cambridge.

Thursday 30 May 2024, 16:00-17:30

House SS03, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 31 May 2024, 12:00-13:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Andres Arcia-Moret, AMD - former researcher at UCAM.

Friday 31 May 2024, 13:00-14:00

Title to be confirmed

User Subhro Ghosh, National University of Singapore.

Engineering - Dynamics and Vibration Tea Time Talks

Friday 31 May 2024, 14:00-15:00

Title to be confirmed

User Henry Allen, CUED.

Friday 31 May 2024, 16:00-17:00

Title to be confirmed

User Helen Dacre, University of Reading.

Friday 31 May 2024, 16:00-17:00

Advances in fMRI Data Acquisition Techniques

User Benedikt Poser (Maastricht University).

Monday 03 June 2024, 12:30-13:30

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

The evolution of Alzheimer’s disease in the aging brain

User Bill Jagust (UC Berkeley).

Monday 03 June 2024, 15:00-16:00

Computer Laboratory Security Seminar

Title to be confirmed

User Amelia (Mia) Hassoun, University of Cambridge.

House Online & LT2, Computer Laboratory, William Gates Building..

Tuesday 04 June 2024, 14:00-15:00

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Title to be confirmed

User Agnieszka Wykowska (Italian Institute of Technology).

Wednesday 05 June 2024, 15:00-16:00

Statistics Clinic Easter 2024 IV

User MR5 at the CMS.

Wednesday 05 June 2024, 16:30-18:00

TBC

User TBC.

Thursday 06 June 2024, 13:00-14:00

House MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre.

The role of reward in language learning

User Saloni Krishnan (Royal Holloway).

Thursday 06 June 2024, 14:00-15:00

House https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09.

Title to be confirmed

User James Zou, Stanford University.

Thursday 06 June 2024, 15:00-16:00

House Hodgkin Huxley Seminar Room, Physiology builiding, Downing Site CB2 3EG.

Title to be confirmed

User Colleen Deane, University of Southampton.

Thursday 06 June 2024, 16:00-17:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 07 June 2024, 12:00-13:00

House GN06, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 07 June 2024, 13:00-14:00

Title to be confirmed

User Purnamrita Sarkar, University of Texas, Austin.

Engineering - Dynamics and Vibration Tea Time Talks

Friday 07 June 2024, 14:00-15:00

Title to be confirmed

User Speaker to be confirmed.

Friday 07 June 2024, 16:00-17:00

Quantum computing of fluid dynamics

User Yue Yang, Peking University.

Child Development Forum (CDF)

Friday 07 June 2024, 16:00-17:00

Child Development Forum Easter II

User Abigail Agyemang (Psychology), Irena Tetkovic (Psychiatry), Keith Liang (Psychology).

House Old Cavendish Psychology Ground Floor Seminar Room.

Tuesday 11 June 2024, 09:30-11:00

House Computer Laboratory, William Gates Building, Room SS03.

Title to be confirmed

User Sagnik Mukhopadhyay (Sheffield).

Tuesday 11 June 2024, 14:00-15:00

House Ground Floor Lecture Theatre, Department of Psychology, Downing Site, Cambridge.

Title to be confirmed

User Michal Kosinski (Stanford University).

Wednesday 12 June 2024, 15:00-16:00

House Faculty of English, Room SR24.

Title to be confirmed

User Shiwei Liu, University of Oxford.

Thursday 13 June 2024, 11:00-12:00

Time-parallel integration and phase averaging for the rotating shallow water equations on the sphere

User Hiroe Yamazaki - Imperial College London.

Thursday 13 June 2024, 13:00-14:00

House MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

The chiral core of the collagen microfibril

User Mitya Pushkin, University of York.

Thursday 13 June 2024, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Alpha-Beta Pruning Explored, Extended and Verified

User Tobias Nipkow (Technische Universität München).

House Live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 13 June 2024, 17:00-18:00

House FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 14 June 2024, 12:00-13:00

House GN06, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 14 June 2024, 13:00-14:00

Engineering - Mechanics Colloquia Research Seminars

Inverse design of multiscale structures and meta-materials by topology optimization and dehomogenization

User Prof. Ole Sigmund, Technical University of Denmark.

House Department of Engineering - tbc.

Friday 14 June 2024, 14:00-15:00

Title to be confirmed

User Tim Cannings, University of Edinburgh.

Friday 14 June 2024, 14:00-15:00

Entrainment across a turbulent/turbulent interface

User Oliver Buxton, Imperial College London.

Friday 14 June 2024, 16:00-17:00

FSL-MRS as an alternative to MRspa for 1H MRS processing

User Speaker to be confirmed.

Monday 17 June 2024, 12:30-13:30

House Gurdon Institute Tea Room - RNA Club.

Statistics Clinic Easter 2024 V

User MR4 at the CMS.

House MR4.

Wednesday 19 June 2024, 16:30-18:00

Cambridge RNA Club

Cambridge RNA Club - June session IN PERSON

User Speaker to be confirmed.

Thursday 20 June 2024, 17:00-18:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Loïc Lannelongue, Heart and Lungs Research Institute, DPHPC, University of Cambridge.

Friday 21 June 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 28 June 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Anke Weidlich from Albert-Ludwigs-Universität Freiburg.

Friday 05 July 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 05 July 2024, 13:00-14:00

Statistics Clinic Summer 2024 I

User MR5 at the CMS.

Wednesday 10 July 2024, 16:30-18:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 12 July 2024, 13:00-14:00

Cambridge RNA Club

Cambridge RNA Club - July session ON ZOOM

User Speaker to be confirmed.

House Online (Zoom).

Thursday 18 July 2024, 17:00-18:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 19 July 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 26 July 2024, 13:00-14:00

Statistics Clinic Summer 2024 II

User MR5 at the CMS.

Wednesday 31 July 2024, 16:30-18:00

Statistics Clinic Summer 2024 III

User MR15 at the CMS.

House MR15.

Wednesday 21 August 2024, 16:30-18:00

Statistics Clinic Summer 2024 IV

User MR5 at the CMS.

Wednesday 11 September 2024, 16:30-18:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 11 October 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Astrid Nieße, Carl von Ossietzky Universität Oldenburg.

Friday 18 October 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 25 October 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 01 November 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 08 November 2024, 13:00-14:00

House Ground Floor Lecture Theatre, Department of Psychology.

Title to be confirmed

The host for this talk is Varun Warrier

User Dr Laurie Hannigan, Lovisenberg Diakonale Hospital, Norway.

Friday 08 November 2024, 16:30-18:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Ronita Bardhan, University of Cambridge.

Friday 15 November 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 22 November 2024, 13:00-14:00

House FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 29 November 2024, 13:00-14:00