LMS Computer Science Colloquium 2023 (online attendance)

 Registration is closed for this event
Please use this form to register to attend remotely.

 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.

December 1st, 2023 from 10:00 AM to  4:30 PM
Online, via Zoom
United Kingdom