新澳开奖Computer Science Colloquium 2023 (in person registration)
聽新澳开奖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.
Accessibility
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 新澳开奖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 新澳开奖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.
57-58 Russell Square
De Morgan House, 57-58 Russell Square
London, WC1B 4HS-WC1B 4HS
United Kingdom