LMS Computer Science Colloquium 2023 (in person registration)

 Registration is closed for this event
Please use this form to register to attend in-person.

 LMS Computer Science Colloquium 2023

The LMS Computer Science Colloquium is an annual event, which includes themed talks on a topical issue at the interface of mathematics and computer science.

The theme of this year's Colloquium is: Verification: Theory and Practice.

The Colloquium is organised by the LMS Computer Science Committee. The event is aimed at PhD students and post-docs, although others are welcome to attend, whether LMS members or not.

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 confirmed speakers are:

Giles Reger (University of Manchester) - The Vampire Journey: building a theorem prover for program verification
Ana Cavalcanti (University of York) - Verification of control software for robots that learn
Rod Chapman (Amazon Web Services) - Automated Reasoning at AWS, and Applications in Cryptography
Angeliki Koutsoukou-Argyraki (University of Cambridge)

Full timings TBC.


The building currently has stepped access only to the raised ground floor and lower ground floor entrances

An accessible toilet is located at lower ground floor level.

Please see the LMS website for further details on accessibility

Grants of up to £200 are available to parents and carers who wish to attend this event and require help towards caring costs. Please see the Caring Supplementary Grants page on the LMS website. Please submit your application no later than 15:00 on Friday 24 November. For any questions on Caring Grants, please contact caringgrants@lms.ac.uk.

For all other queries, please contact lmscomputerscience@lms.ac.uk.

December 1st, 2023 from 10:00 AM to  4:30 PM
De Morgan House
57-58 Russell Square
De Morgan House, 57-58 Russell Square
London, WC1B 4HS-WC1B 4HS
United Kingdom