In the past, the LMS has provided sponsorship funding to the British Colloquium for Theoretical Computer Science to finance the costs of inviting a distinguished guest speaker to address the colloquium on topic of interest to mathematicians and computer scientists. From 2008 to 2020, this was a speaker from overseas.
The speaker is titled the LMS-Sponsored Keynote Lecturer in Discrete Mathematics.
Past lecturers have been:
2020 - Robert Constable (Cornell University, USA)
Implementing Elements of Intuitionistic Mathematics in Nuprl
2019 - Maria Chudnovsky (Princeton University, USA)
Detecting Old Holes
2018 - John Hopcroft (Cornell University, USA)
Research in Deep Learning
2017 - Laszlo Babai (University of Chicago, USA)
Graph Isomorphism
2016 - Valerie King (University of Victoria, Canada)
Tossing a Collective Coin and Coming to Agreement
2015 - Thomas Hales (University of Pittsburgh)
The Formal Proof of the Kepler Conjecture
2014 - Jeffry Shallit (University of Waterloo)
Open Problems in Automata Theory
2013 - Susanne Albers (Humboldt-Universität zu Berlin)
Energy Efficient Algorithms
2012 - Rod Downey (Victoria University of Wellington)
Fundamentals of Parametrized Complexity
2011 - David Johnson (AT&T New Jersey)
Bin Packing: From Theory to Experiment and Back Again
2010 - Gil Kalai (Hebrew University of Jerusalem)
Analysis and Probability of Boolean Functions
2009 - Noga Alon (Tel Aviv)
Combinatorial Reasoning in Information Theory
2008 – Gerhard Woeginger (Eindhoven University of Technology)
Three Assignment Problems and One Theorem
2007 - Kristina Vušković (Leeds)
The Use of Decomposition in the Study of Graph Classes defined by Excluding Induced Subgraphs
2006 - Hajo Broersma (Durham)
Toughness in Graphs: Structural and Algorithmic Aspects
2005 – Alan Gibbons (King's College London)
The Soft Machines: Computing with the Code of Life
https://eur.cvent.me/eGyG