LMS Computer Science Colloquium 2023 (online attendance)

 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.