LMS General Meeting & Aitken Lecture 2019
The lectures are aimed at a general mathematical audience. All interested, whether LMS members or not, are most welcome to attend this event.
3.30 pm Opening of the meeting and LMS Business (open to all)
Election of the LMS Honorary Members in 2019
Announcement of the 2019 LMS Prize winners
Members' Book Signing
3.45 pm Paul Shafer (Leeds)
An introduction to computable functions and computable structures.
Abstract: This introduction to computability theory will serve as support for Prof. Khoussainov's Aitken Lecture. We will discuss computable functions, the halting problem and non-computable functions, and computably enumerable sets. We will also discuss computational aspects of countable structures, paying special attention to countable linear orders and countable groups.
4.45 pm Tea & Coffee
5.15 pm Aitken Lecture 2019: Bakh Khoussainov (University of Auckland)
Semigroups, groups, algebras, and their finitely presented expansions.
The meeting will be followed by a reception at the Ambassadors' Hotel. Bloomsbury and the LMS Society Dinner also the Ambassadors' Hotel, Bloomsbury.
Registration: Places are free and include refreshments. To help us with numbers for catering, please register for your place here.
LMS Society Dinner: There will also be a Society Dinner held at the Ambassadors' Hotel, Bloomsbury at 7.30 pm. Tickets for the Society Dinner are £35.00 per person (payable in advance by cheque to "London Mathematical Society". Please send cheques to LMS Society Dinner, c/o Elizabeth Fisher, LMS, De Morgan House, 57-58 Russell Square, London, WC1B 4HS). To sign up for the Society Dinner, please email Elizabeth Fisher by 21 June 2019. If you have any special requirements (e.g. dietary, access), please let Elizabeth know when registering.
Graduate Student Meeting
Abstract: Presentations are a fundamental tool for describing algebraic objects as homomorphic images of free objects. In this talk I will give an introduction to the theory of presentations of algebraic structures in terms of generators and relations. I will also say something about some of the key algebraic and computational notions which arise in this context such as residual finiteness and the word problem.