Dear category theorists, The British Colloquium in Theoretical Computer Science is taking place in Birmingham over 18-21 April. http://events.cs.bham.ac.uk/BCTCS2011/index.html We have some fantastic invited speakers: ------------------------------ • David S. Johnson (AT&T Labs) Bin Packing: From Theory to Experiment and Back Again • Cliff Jones (Newcastle) What can we do to achieve genuine tool inter-working? Towards a "method frame" • Prakash Panangaden (McGill) Epistemic Strategies and Games on Concurrent Processes • Peter Selinger (Dalhousie) Logical methods in quantum information theory • Nigel Smart (Bristol) Homomorphic Encryption • Carsten Witt (Technical University of Denmark) Bio-Inspired Computation Meets Theoretical Computer Science ------------------------------- We'd love to have more contributed talks on categorical topics. Officially the registration deadline is today, but we're still accepting registrations until the end of the week. best regards, Paul Blain Levy and Achim Jung -- Paul Blain Levy School of Computer Science, University of Birmingham +44 (0)121 414 4792 http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]