A double bill of big hitters for this annual lecture from the Department of Computer Science.
Leo De Moura (Amazon Web Services)- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Kevin Buzzard (Imperial College) - Will Computers prove theorems?
14:30, Lecture Theatre 1, Mathematical Institute
Tanniemola Liverpool's recent Public Lecture is now online.
The next Public Lecture on 30 April will feature Gábor Domokos, the 'father' of the Gömböc.
Fridays@4 is this week Fridays@1 in L1 with lunchtime pizza.
Torkel Loman (Oxford Mathematics) - The behaviours of noisy feedback loops and where (in parameter space) to find them
Alastair McCullough, pictured (Computer Science) - Tech, Coffee, and the Regulation of Truth: An Enterprise Barista's Story
L1, today, Friday 14 March
Oxford Mathematics Public Lecture - Wednesday 19 February 2025, 5-6 pm L1
Wound healing is a highly conserved process required for survival of an animal after tissue damage. Tannie will describe how we are beginning to use a combination of mathematics, physics and biology to disentangle some of the organising principles behind the complex orchestrated dynamics that lead to wound healing.
Registration for this year's conference for women and non-binary people in Maths is now open - sign up here
This year's event will take place on Saturday 1st March 2025 from 10 am - 4:30 pm and more details can be found in the link.