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.
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.
John E. Hopcroft
title: Research in Deep Learning
University of Oxford
title: Safety Verification for Deep Neural Networks
University of Cambridge
title: Randomised Distributed Algorithms
University College London
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:
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.
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.
We recommend that you book in advance from the following companies.
Train connections to the London airports can be checked/booked through the website of
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