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

09:30 Memory model parametric compositional symbolic execution Andreas Lööw (Imperial College London) Isaac Newton Institute Seminar Series
10:15 MetaCoq: verified meta-theory at scale for a certified proof assistant Meven Lennon-Bertrand (University of Cambridge) Isaac Newton Institute Seminar Series
11:00 Simple and multiple linear regression Peter Watson Graduate Programme in Cognitive and Brain Sciences
11:30 What can Arctic staircases tell us about ocean mixing? Nicole Shibley (University of Cambridge) Institute for Energy and Environmental Flows (IEEF)
11:30 Discussion: User experience for specification and verification tools Isaac Newton Institute Seminar Series
12:15 Tropic: Introducing Innovation To Food, Places And People Who Need It Most Eyal Maori (Tropic And Cambridge) Department Of Plant Sciences Seminar Series
12:30 Understanding CAMHS care pathways using electronic health record data Dr Johnny Downs & Dr Alice Wickersham Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series
13:00 Senescent secretome shenanigans: Differential therapeutic benefit for breast cancer dictated by distinct extracellular vesicle-mediated inflammatory response Dr Karen Crasta, Principal Investigator at the National University of Singapore, Centre for Healthy Longevity and Department of Physiology. Cancer Research UK Cambridge Institute (CRUK CI) Seminars in Cancer
13:00 Open source research software project life cycles: understanding project maturity successes, and challenge events Yo Yehudi - Open Life Sciences RSE Seminars
13:00 Scaling Up Mental Health Support: Automated annotation for Recovery Stories using AI Shrankhla Pandey (University of Cambridge) Darwin College Science Seminars
13:00 Directing homeostasis in cells and cell colonies with AI-driven bioelectronics Professor Marco Rolandi - Department of Electrical and Computer Engineering University of California, Santa Cruz Chemical Engineering and Biotechnology
13:30 Bigger Picture Talks @ CEB - The role of science and technology in delivering a healthy, resilient society by 2051 Dr Agnieszka (Aga) Iwasiewicz-Wabnig FRSA Chemical Engineering and Biotechnology
13:30 Improving Emissions Modeling for Future Air Transport Systems Speaker to be confirmed Cambridge Energy Seminars
14:00 The remembering and forgetting of complex episodic events Adrian Horner (U. of York) Chaucer Club
14:00 Gatekeepers of the Greenland icesheet: The international politics of knowledge production on climate change Lin Alexandra Mortensgaard, PhD candidate, Danish Institute for International Studies & Department of Political Sciences, University of Copenhagen Scott Polar Research Institute - Polar Humanities and Social Sciences ECR Workshop
14:00 Specializing LLMs for Factuality and Soft Reasoning Greg Durrett, UT Austin Language Technology Lab Seminars
14:00 Complex Robotic Systems: Modeling, Control, and Planning using Dual Quaternion Algebra Bruno Vilhena Adorno, University of Manchester CUED Control Group Seminars
14:15 Macroscopic Thermalization for Highly Degenerate Hamiltonians Barbara Roos, University of Tuebingen CQIF Seminar
14:30 A geometric approach to Ramsey numbers Marcelo Campos (Cambridge) Combinatorics Seminar
15:00 How is Small different from Big? Andrew Briggs, Department of Materials, The University of Oxford Physics and Chemistry of Solids Group
15:30 Department of Materials Science & Metallurgy Seminar Series: Self-Aligned, Roll-to-Roll Compatible Manufacturing of Printed Conductors and Devices Prof. C. Daniel Frisbie, Department of Chemical Engineering & Materials Science, University of Minnesota, USA Department of Materials Science & Metallurgy Goldsmiths' Seminars
16:00 An introduction to Cold Climate Engineering with focus on ice-induced vibrations and experimental testing Torodd Skjerve Nord, Norwegian University of Science and Technology Engineering - Dynamics and Vibration Tea Time Talks
16:00 Failure to recruit lymph node resident cDC1 results in poorly functional anti-tumour CD8 T cell responses Dr Ed Roberts, CRUK Scotland Institute (formerly the CRUK Beatson Institute), University of Glasgow Cambridge Immunology Network Seminar Series
16:00 Building synapses in the hippocampus Prof Laura Andreae, King's College Cambridge Neuroscience Seminars
17:00 Cambridge RNA Club - IN PERSON Dr. Emilia Arguello (Postdoc, Borodavka Lab, University of Cambridge, Cambridge, UK), Dr. Andres Ramos (PI, Ramos Lab, University College London, London, UK)) Cambridge RNA Club
17:00 Computer environments for math problem solving Mirek Olšák (University of Cambridge) Formalisation of mathematics with interactive theorem provers
17:15 Servanthood and the European Marriage Pattern, 1500-1900 Sheilagh Ogilvie (Oxford) Core Seminar in Economic and Social History
18:00 Planetary computing to help balance opportunity costs of human actions on wildlife Anil Madhavapeddy University of Cambridge Computer Laboratory Centre for Human Inspired AI Early Career Committee
18:30 In Conversation: Sport and Gender Speaker to be confirmed The Fitzwilliam Museum
18:30 In Conversation: Sport and Gender Speaker to be confirmed The Fitzwilliam Museum
18:45 Finding W H Hudson — the writer who came to Britain to save birds Conor Jameson, writer and naturalist Cambridge Natural History Society
18:45 Finding W H Hudson — the writer who came to Britain to save birds Conor Jameson, writer and naturalist Cambridge Natural History Society

📅 Talks on Thursday, 17 October 2024

09:30

Memory model parametric compositional symbolic execution

👤 Andreas Lööw (Imperial College London) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

10:15

MetaCoq: verified meta-theory at scale for a certified proof assistant

👤 Meven Lennon-Bertrand (University of Cambridge) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

11:00

Simple and multiple linear regression

👤 Peter Watson 📚 Graduate Programme in Cognitive and Brain Sciences 📍 Lecture Theatre, MRC Cognition and Brain Sciences Unit, University of Cambridge, Chaucer Road

11:30

What can Arctic staircases tell us about ocean mixing?

👤 Nicole Shibley (University of Cambridge) 📚 Institute for Energy and Environmental Flows (IEEF) 📍 Open Plan Area, Institute for Energy and Environmental Flows, Madingley Rise CB3 0EZ

11:30

Discussion: User experience for specification and verification tools

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

12:15

Tropic: Introducing Innovation To Food, Places And People Who Need It Most

👤 Eyal Maori (Tropic And Cambridge) 📚 Department Of Plant Sciences Seminar Series 📍 Department of Plant Sciences, Large Lecture Theatre

12:30

Understanding CAMHS care pathways using electronic health record data

👤 Dr Johnny Downs & Dr Alice Wickersham 📚 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series 📍 Zoom online

13:00

Senescent secretome shenanigans: Differential therapeutic benefit for breast cancer dictated by distinct extracellular vesicle-mediated inflammatory response

👤 Dr Karen Crasta, Principal Investigator at the National University of Singapore, Centre for Healthy Longevity and Department of Physiology. 📚 Cancer Research UK Cambridge Institute (CRUK CI) Seminars in Cancer 📍 CRUK CI Lecture Theatre

13:00

Open source research software project life cycles: understanding project maturity successes, and challenge events

👤 Yo Yehudi - Open Life Sciences 📚 RSE Seminars 📍 West Hub, East 1

13:00

Scaling Up Mental Health Support: Automated annotation for Recovery Stories using AI

👤 Shrankhla Pandey (University of Cambridge) 📚 Darwin College Science Seminars 📍 Richard King room, Darwin College

13:00

Directing homeostasis in cells and cell colonies with AI-driven bioelectronics

👤 Professor Marco Rolandi - Department of Electrical and Computer Engineering University of California, Santa Cruz 📚 Chemical Engineering and Biotechnology 📍 Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site

13:30

Bigger Picture Talks @ CEB - The role of science and technology in delivering a healthy, resilient society by 2051

👤 Dr Agnieszka (Aga) Iwasiewicz-Wabnig FRSA 📚 Chemical Engineering and Biotechnology 📍 Lecture Theatre 2, Department of Chemical Engineering and Biotechnology, West Cambridge Site

13:30

Improving Emissions Modeling for Future Air Transport Systems

👤 Speaker to be confirmed 📚 Cambridge Energy Seminars 📍 West 1, West Hub, JJ Thomson Avenue, Cambridge

14:00

The remembering and forgetting of complex episodic events

👤 Adrian Horner (U. of York) 📚 Chaucer Club 📍 MRC Cognition and Brain Sciences Unit, 15 Chaucer Road, Cambridge - Lecture Theatre

14:00

Gatekeepers of the Greenland icesheet: The international politics of knowledge production on climate change

👤 Lin Alexandra Mortensgaard, PhD candidate, Danish Institute for International Studies & Department of Political Sciences, University of Copenhagen 📚 Scott Polar Research Institute - Polar Humanities and Social Sciences ECR Workshop 📍 Online (email organisers for details)

14:00

Specializing LLMs for Factuality and Soft Reasoning

👤 Greg Durrett, UT Austin 📚 Language Technology Lab Seminars 📍 https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09

14:00

Complex Robotic Systems: Modeling, Control, and Planning using Dual Quaternion Algebra

👤 Bruno Vilhena Adorno, University of Manchester 📚 CUED Control Group Seminars 📍 LR3A, Department of Engineering and online (Zoom)

14:15

Macroscopic Thermalization for Highly Degenerate Hamiltonians

👤 Barbara Roos, University of Tuebingen 📚 CQIF Seminar 📍 MR2

14:30

A geometric approach to Ramsey numbers

👤 Marcelo Campos (Cambridge) 📚 Combinatorics Seminar 📍 MR12

15:00

How is Small different from Big?

👤 Andrew Briggs, Department of Materials, The University of Oxford 📚 Physics and Chemistry of Solids Group 📍 Mott Seminar Room, Cavendish Laboratory

15:30

Department of Materials Science & Metallurgy Seminar Series: Self-Aligned, Roll-to-Roll Compatible Manufacturing of Printed Conductors and Devices

👤 Prof. C. Daniel Frisbie, Department of Chemical Engineering & Materials Science, University of Minnesota, USA 📚 Department of Materials Science & Metallurgy Goldsmiths' Seminars 📍 Goldsmiths' 2 & https://zoom.us/j/96836714124

16:00

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2024/10/17

📅 Talks on Thursday, 17 October 2024

Memory model parametric compositional symbolic execution

MetaCoq: verified meta-theory at scale for a certified proof assistant

Simple and multiple linear regression

What can Arctic staircases tell us about ocean mixing?

Discussion: User experience for specification and verification tools

Tropic: Introducing Innovation To Food, Places And People Who Need It Most

Understanding CAMHS care pathways using electronic health record data

Senescent secretome shenanigans: Differential therapeutic benefit for breast cancer dictated by distinct extracellular vesicle-mediated inflammatory response

Open source research software project life cycles: understanding project maturity successes, and challenge events

Scaling Up Mental Health Support: Automated annotation for Recovery Stories using AI

Directing homeostasis in cells and cell colonies with AI-driven bioelectronics

Bigger Picture Talks @ CEB - The role of science and technology in delivering a healthy, resilient society by 2051

Improving Emissions Modeling for Future Air Transport Systems

The remembering and forgetting of complex episodic events

Gatekeepers of the Greenland icesheet: The international politics of knowledge production on climate change

Specializing LLMs for Factuality and Soft Reasoning

Complex Robotic Systems: Modeling, Control, and Planning using Dual Quaternion Algebra

Macroscopic Thermalization for Highly Degenerate Hamiltonians

A geometric approach to Ramsey numbers

How is Small different from Big?

Department of Materials Science & Metallurgy Seminar Series: Self-Aligned, Roll-to-Roll Compatible Manufacturing of Printed Conductors and Devices

An introduction to Cold Climate Engineering with focus on ice-induced vibrations and experimental testing

Failure to recruit lymph node resident cDC1 results in poorly functional anti-tumour CD8 T cell responses

Building synapses in the hippocampus

Cambridge RNA Club - IN PERSON

Computer environments for math problem solving

Servanthood and the European Marriage Pattern, 1500-1900

Planetary computing to help balance opportunity costs of human actions on wildlife

In Conversation: Sport and Gender

In Conversation: Sport and Gender

Finding W H Hudson — the writer who came to Britain to save birds

Finding W H Hudson — the writer who came to Britain to save birds