新澳开奖Computer Science Colloquium 2023 (online attendance)
聽新澳开奖Computer Science Colloquium 2023
The 新澳开奖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 新澳开奖Computer Science Committee. The event is aimed at PhD students and post-docs, although others are welcome to attend, whether 新澳开奖members or not.
We will endeavour to upload the talks to - 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.
United Kingdom