LMS/BCS-FACS Seminar 2025
In association with the British Computer Society Formal Aspects of Computing Science (BCS-FACS), the LMS hosts an annual online seminar on aspects of the computer science–mathematics interface. These events are free to anyone who wishes to attend and have attracted high-quality speakers
We will endeavour to upload the talks to the LMS YouTube channel - click 'subscribe' to be alerted when new videos are added.
Programme (all times in GMT)
The event will start promptly at 19:00.
The confirmed speaker is:
Annabelle McIver (Macquarie University)
Title/abstract TBC
Chairing/facilitating the seminar is:
Andrei Popescu (University of Sheffield)
Accessibility
This event is online only and will be streamed via Zoom.
Closed captions will be enabled on Zoom, and we will endeavour to upload this to our LMS YouTube channel as soon as possible after the event.
If you have any accessibility questions not covered by the above, please contact lmscomputerscience@lms.ac.uk.
Registration
-
To attend remotely via Zoom, please complete the registration form here. You will receive the link to the meeting upon registration, as well as an automated reminder email sent 24 hours before the event is scheduled to start.
-
For all queries regarding the seminar, please contact lmscomputerscience@lms.ac.uk.