Last week, Simon Smith was at the Banff International Research Station (BIRS) in Canada, where he was an invited speaker at a meeting about permutation groups. BIRS is an isolated station nestled in the Rocky Mountains, where researchers from around the world are invited to discuss and to work collaboratively on important areas of research.
The focus of this meeting was on the interplay between permutation group theory, topological group theory and model theory. Simon gave a lecture on a theorem of his which describes the structure of subdegree-finite primitive permutation groups. This theorem took many years to prove, and is the culmination of a large research project for which he was awarded a grant of over $300,000 by the Australian Research Council.