The LMS Computer Science Colloquium is an annual day of themed talks on a topical issue at the interface of mathematics and computer science, usually held in November at De Morgan House, London. It is organised by the LMS Computer Science Committee. The event is aimed at PhD students and post-docs, although others are welcome to attend. The event is free for students and £5 for others, which is payable on the day.
Previous Computer Science Colloquiums
The most recent colloquium was held on 13 November 2019 and the topic was Mathematics of Security. The programme for the day, including abstracts, can be accessed here. The speakers and their talks were as follows (links to the presentations are included where available):
Delaram Kahrobaei (York)
Interactions between Group Theory, Cyber Security, Artificial Intelligence, and Quantum Computation
Christophe Petit (Birmingham)
Rubik's for cryptographers: Babai's conjecture, hash functions and quantum gates
David Galindo (Birmingham)
Security Models and Designs from E-Voting to Blockchain
Alexei Lisitsa (Liverpool)
Formal Modelling of Smart Contracts Languages, Their Expressive Power and Verification
Details of the next Computer Science Colloquium will be posted to this page in due course.