LMS Computer Science Colloquium: Algorithms, Complexity and Logic

About:

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.
Next Computer Science Colloquium: 'Algorithms, Complexity and Logic'

Speakers

Nobuko Yoshida, London	A History and Applications	Recording Abstract
Kitty Meeks, Glasgow	From decision to approximate counting	Recording Abstract
Anupam Das, Birmingham	The size of proofs: from mathematical logic to computational complexity and back	Recording Abstract
Igor Carboni Oliveira, Warwick	Kolmogorov complexity, prime numbers, and complexity lower bounds	Recording Abstract