School of Computer Science, University of St Andrews, April 26th to 28th 2017

Welcome to the British Colloquium for Theoretical Computer Science 2017, to be hosted by the School of Computer Science and the School of Mathematics and Statistics of the University of St Andrews, on April 26th to 28th 2017. We expect to be starting on the 26th of April at 9:30am.

The purpose of BCTCS is to bring together researchers in theoretical computer science to present their research and discuss future directions. It aims to provide an environment in which PhD students can present their work, and get into contact with their peers and experienced researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics.

St Andrews is a beautiful seaside town and the home of golf with quite a few tourist attractions. You can find some inspiration here.

Program

The program has been published. Please come to the BCTCS OGM on Thursday!

Registration

Registration is closed. If you still would like to register, contact me directly.

Registration was £190 and includes all teas, coffees, and lunches, as well as the workshop dinner on the 27th of April. You will have to book your accommodation yourself, some information can be found here.

Please consider contributing a 20 to 30 minute talk, and submit a title and abstract during registration.

There are limited funds available to support PhD students. Please contact the organisers directly via email with a letter of support from your supervisor if you would like to apply.

Computer scientists and mathematicians are welcome to attend. We also welcome participants from outside of the UK.

Confirmed Speakers

This year’s colloquium will feature talks by Perdita Stevens, Mehrnoosh Sadrzadeh, Conor McBride, Edwin Brady, Felix Fischer, and an LMS keynote lecture by László Babai.

László Babai will also give some smaller seminar sessions that will go into more detail on his work on the Graph Isomorphism problem.

Abstracts and talk titles can be found here, and the preliminary program can be found here.

Additional events

There will also be a Scottish Combinatorics Meeting at the School of Mathematics in St Andrews on the 24th and 25th of April 2017. This event will be free, but you should contact one of the organisers Nik Ruskuc or Sophie Huczynska by email if you would like to attend.

Contact

If you have any questions you can contact the organisers at markus.pfeiffer [at] st-andrews.ac.uk.

Acknowledgements

We gratefully acknowledge support from the London Mathematical Society and the Heilbronn Institute.