Welcome to the British Colloquium for Theoretical Computer Science 2018.

26 - 28 March 2018

Royal Holloway, University of London
Department of Computer Science

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.

csrhul rhul


Participants wishing to give a 30 minute contributed talk on any topic in the scope of the colloquium should email a title and abstract to bctcs18 [at] cs.rhul.ac.uk. Presentations from research students and early career researchers are particularly encouraged. Work need not be original and is not formally published. Contributions are not peer reviewed. The goal is discussion, networking, and feedback.

Submission deadline: 1 February 2018


Registration with accommodation should take place before 1 March 2018. Registration without accommodation should take place before 8 March 2018.
Please register via the online store.

There are three registration options, depending on your choice of accommodation. Accommodation includes breakfast and dinner, lunch is provided by the conference.

  • No accommodation: £210.
  • Standard accommodation: £395.
  • Premium accommodation: £450.

BCTCS will fund 10 bursaries of £210 for PhD. students who are giving a presentation. To apply for a bursary, please contact bctcs18 [at] cs.rhul.ac.uk with a brief letter of support from your PhD. supervisor.


The London Mathematical Society invited speaker
  • JHopcroft John E. Hopcroft
    Cornell University
    title: Research in Deep Learning
    bio: Professor Hopcroft is a faculty member at Cornell university. He received the Turing award in 1986 and is a member of the NAS and NAE. He received the China Friendship Award in 2016, the highest award China will give a foreigner.
Invited speakers
  • ACiabattoni Agata Ciabattoni
    TU Wien
    title: tbc
    bio: Agata Ciabattoni is professor for nonclassical logics in computer science at the Faculty of Informatics of the Vienna University of Technology. In 2011 she has been awarded a START prize, the highest Austrian award for early career researchers. She is currently working on theory, tools and applications in various areas of logics different from classical, boolean logic.
  • MKwiatkowska Marta Kwiatkowska
    University of Oxford
    title: Safety Verification for Deep Neural Networks
    bio: Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Kwiatkowska has made fundamental contributions to the theory and practice of model checking for probabilistic systems. She led the development of the PRISM model checker, the leading software tool in the area and winner of the HVC Award 2016. Kwiatkowska was awarded the Royal Society Milner Medal in 2018.
  • TSauerwald Thomas Sauerwald
    University of Cambridge
    title: Randomised Distributed Algorithms
    bio: Thomas Sauerwald's main research areas are randomised algorithms, Markov chains and distributed computing. He is a lecturer in the Computer Laboratory at the University of Cambridge and a fellow at Emmanuel College. He has held positions at the International Computer Science Institute, Simon Fraser University and Max Planck Institute for Informatics.
  • ASilva Alexandra Silva
    University College London
    title: tbc
    bio: Alexandra Silva is a professor of Algebra, Semantics, and Computation at UCL. Her research focuses on the modular development of specification languages and algorithms for models of computations, from the unifying perspective offered by coalgebra.


Programme to be added.



The event takes place on the campus of Royal Holloway in the historic town of Egham, which lies between London and Windsor.

Talks will take place in the Moore Bulding Lecture Theatre.
A campus map is available in PDF or your favourite online map.


Accommodation from 25-28 March is available on campus as part of the registration fee. This is very convenient for the conference.
Three options will be available during registration:

  • No accommodation
  • Standard accommodation -- Tuke Hall
  • Premium accommodation -- Reid Hall

Accommodation check-in is at The Hub Reception.
Accommodation will include breakfast and dinner. Lunch is provided as part of the conference. A banquet will be held on 27 March.

Additionally there is bed and breakfast accommodation nearby, and a Travelodge 15 minutes walk away.


The Royal Holloway Conference Service provides up-to-date travel information. We summarise this information below.

  • by train

    The nearest train station is Egham which is a 15-20 minute walk from Royal Holloway. Train journeys can be planned via National Rail.

  • by car

    Royal Holloway is located on the A30, 19 miles from central London and about a mile south west of the town of Egham. It is two miles from junction 13 of the M25 (London orbital). After leaving the motorway at junction 13, take the A30 west, signposted to Bagshot and Camberley (this is the Egham bypass). At the first roundabout, take the second exit. At the second roundabout, take the second exit and continue up the A30, Egham Hill. The College is on the left at the top of the hill.

    There is plenty of free parking, but please contact bctcs18 [at] cs.rhul.ac.uk if you would like to enquire about a specific space.

    Sat nav postcode is TW20 0EX.

  • by taxi

    We recommend that you book in advance from the following companies.

    • Gemini Taxis: 01784 434646
    • Windsor Cars: 01753 677677
    • Egham Cars: 01784 434646
    • Holloway Taxis: 01784 818385

  • by air

    Train connections to the London airports can be checked/booked through the website of National Rail. From Heathrow, taxi or bus are by far the best options.

    The number 8 runs between Heathrow Terminal 5 and Royal Holloway. From all other terminals, Terminal 5 can be reached from the Heathrow Central Station. An up-to-date timetable can be found here. An up-to-date map near RHUL can be found here. The nearest bus stop to Royal Holloway is a few minutes from campus.


If you have any questions or inquiries about bctcs2018 you can contact us

  • via email at bctcs18 [at] cs.rhul.ac.uk
  • or at the following address:
    British Colloquium for Theoretical Computer Science 2018
    Matthew Hague
    Department of Computer Science
    Royal Holloway, University of London
    TW20 0EX