01:21:17

Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024

01:06:14

Utilising Shape in Data, Ulrike Tillmann FRS | LMS

52:39

Symmetries of manifolds, Oscar Randal-Williams | LMS

01:05:17

The Vampire Journey: building a theorem prover for program verification, Giles Reger | LMS CSC 2023

54:29

Automated Reasoning at AWS, and Applications in Cryptography, Rod Chapman | LMS CS Colloquium 2023

59:36

Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023

53:41

Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023

01:01:58

Ivanov's metaconjecture: encoding symmetries of surfaces, Tara Brendle | LMS Mary Cartwright Lecture

01:04:16

Reconstruction problems in mathematics, Dan Margalit | LMS Mary Cartwright Lecture

55:31

The space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023

01:01:30

Physics-inspired graph neural networks, Michael Bronstein | LMS/IMA Joint Meeting 2023

55:45

Differential equations for machine learning, Lisa Kreusser | LMS/IMA Joint Meeting 2023

49:05

Reliable AI: Successes, challenges, and limitations, Gitta Kutyniok | LMS/IMA Joint Meeting 2023

53:51

Capturing computation with algorithmic alignment, Petar Veličković | LMS/IMA Joint Meeting 2023

01:04:56

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (3/4)

01:02:36

Coagulation-Fragmentation Equations, Michael Grinfeld | LMS Summer School

52:13

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (2/5)

53:22

Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (2/4)

58:47

Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)

58:27

Tropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School

01:01:47

Net of Conics, Vanya Cheltsov | LMS Summer School (4/5)

56:21

Net of Conics, Vanya Cheltsov | LMS Summer School (1/5)

01:04:12

Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (4/4)

01:00:03

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (1/4)

51:37

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (3/5)

01:16:35

Countability, groups, subgroups and finiteness properties, Ian Leary | LMS Summer School

01:04:16

Net of Conics, Vanya Cheltsov | LMS Summer School (3/5)

50:36

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (1/5)

49:42

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (4/5)

55:56

Markov numbers and the free group on two generators, Caroline Series | LMS Summer School

01:01:21

Net of Conics, Vanya Cheltsov | LMS Summer School (5/5)

01:01:36

Measuring migration using traditional and new data forms, Arkadiusz Wisniowski | LMS Summer School

52:10

Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (4/4)

50:14

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (4/4)

01:01:04

Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (3/4)

46:47

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (5/5)

01:00:45

Net of Conics, Vanya Cheltsov | LMS Summer School (2/5)

56:40

Quiver mutations and triangulated surfaces, Anna Felikson | LMS Summer School

55:17

Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (1/4)

01:01:26

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (2/4)

57:44

Asymptotic behaviour of gradient flows, Melanie Rupflin | LMS Summer School

56:51

Analytic inequalities, Carlo Marinelli | LMS Summer School (4/5)

56:46

Analytic inequalities, Carlo Marinelli | LMS Summer School (3/5)

57:39

Analytic inequalities, Carlo Marinelli | LMS Summer School (2/5)

01:03:36

Analytic inequalities, Carlo Marinelli | LMS Summer School (5/5)

53:58

Analytic inequalities, Carlo Marinelli | LMS Summer School (1/5)

31:45

Soap Bubbles and Minimal Surfaces, Spencer Becker-Kahn | LMS BHoM

43:34

The Black Heroes of Mathematics, Nira Chamberlain | LMS BHoM

36:15

Journeys in non-equilibrium statistical mechanics, Tanniemola B Liverpool | LMS BHoM

37:01

The Journey of Female African Mathematicians, Angela Tabiri | LMS BHoM 2020

32:56

The Black Mathematician Chronicles: Our Quest to Update the MAD Pages, Edray Goins | LMS BHoM

02:46

Frames Of Mind - Tim Gowers

08:39

Voice of the Future 2023

02:03:24

GPS Workshop on Promotions Practices 23 January 2023

01:19:18

Sam Staton - Programming-based foundations for statistics

58:07

Machine Learning as a Tool for the Mathematician, Geordie Williamson | ICM/LMS Public Lecture 2022

01:03:03

Black Holes: A Mathematical Enlightenment, Elena Giorgi | ICM/LMS Public Lecture 2022

01:25:43

Peter Sewell: Underpinning mainstream engineering with mathematical semantics

51:07

The Complexity of Gradient Descent, Alexandros Hollender | LMS Computer Science Colloquium

01:01:30

Analysis of Gaussian process regression, Aretha Teckentrup | LMS Computer Science Colloquium