GAPT Seminar
LMS Hardy Lectureship Talk 2025
Date: 27th June 2025
Time: 10:15am – 4:15pm
Location: Lecture Theatre 0.01, Abacws Building, Senghenndydd Road, CF24 4AG
The Cardiff University School of Mathematics is excited to be hosting Professor Emily Riehl (Johns Hopkins University) during her UK tour as the named LMS Hardy Lecturer 2025. The day will begin in the morning with an introductory talk aimed for students. There will then be two colloquial style talks in the afternoon: the first by Prof. Grigory A. Garkusha and the second by Prof. Emily Riehl. Participants are invited to attend both the morning and the afternoon, or if they wish just the afternoon; please make this specification on the registration form at the bottom of the page.
Schedule:
| 10:15 | Welcome for morning attendees |
| 10:30 | Overview of category theory (a lecture for students) |
| 11:30 | Lunch |
| 13:15 | Welcome for afternoon attendees |
| 13:30 | Prof. Grigory A. Garkusha |
| 14:30 | Break |
| 15:00 | Hardy Lectureship Talk, Prof. Emily Riehl |
| 16:15 | Reception |
What is the Hardy Lectureship award?
Named after former Society President and De Morgan Medallist, G. H. Hardy, the LMS Hardy Lectureship is awarded in odd-numbered years to a distinguished overseas mathematician; they are then invited to visit the UK for a period of about two weeks. This tour includes at least six lectures on varying topics at different venues in the UK. For more information, see their website here.
On 27th June, the 2025 LMS Hardy Lecturer, Professor Emily Riehl, will be visiting and delivering a lecture at Cardiff University.
Who is Prof. Emily Riehl?
Professor Emily Riehl works on higher category theory, homotopy type theory, and computer formalization at Johns Hopkins University, where she is the Kelly Miller Professor of Mathematics. Her many publications include the popular textbook Category Theory in Context. Emily was also a founding board member of Spectra, an association for LGBTQ+ mathematicians.
Registration
If you would like to attend, please complete the registration form linked here by 20th June 2025.