Skip to main content

HOME

img-jumbotron-bg

BCTCS & AlgoUK 2019

35th British Colloquium for
Theoretical Computer Science
15th – 17th April 2019, DURHAM

The British Colloquium for Theoretical Computer Science (BCTCS) is an annual event for UK-based researchers in theoretical computer science. A central aspect of BCTCS is the training of PhD students, providing an environment for students to gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established 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.

BCTCS 2019 is the 35th conference in the series and is being held together with a workshop organized by AlgoUK, a network for the UK’s algorithms and complexity research community.

Poster: please download and display our poster.

Programme is now available.

INVITED BCTCS AND ALGOUK SPEAKERS

PROGRAMME

All talks, refreshments and lunches are in the Department of Computer in the connected Christopher and Higginson Buildings. Plenary and Track B talks are in E005 which is at the front of the Christopher Building (the building faces north), next to the main entrance to the department. A reception desk will be located outside the lecture theatre from 12pm on Monday 15 April. Track A talks are in E240 in the Higginson Building towards the back of the department. Lunches and refreshments are in the Atrium adjacent to E240. See the travel information for advice and maps to help you find us.

Monday 15 April

Tuesday 16 April

Wednesday 17 April

CONTRIBUTED TALKS

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 [email protected] using this latex template, which contains further instructions. Presentations from research students and early career researchers are particularly encouraged. Work need not be original and is not formally published.

IMPORTANT DATES

  • Abstract Submission: 1 March 2019
  • Notification: 8 March 2019
  • Registration: 15 March 2019

Scam Alert: We are aware that invited speakers and delegates may be contacted by individuals claiming to be affiliated with BCTCS and offering assistance with accommodation bookings. Please be aware that this is a scam operated by a company calling themselves Business Travel Management. You will never receive any unsolicited contact from the organizers promoting accommodation.

SPONSORS

DURHAM

The conference is hosted by Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science.

Organizing Committee

  • Matthew Johnson (Durham)
  • Barnaby Martin (Durham)
  • George Mertzios (Durham)
  • Daniel Paulusma (Durham)

contact: [email protected]

Travel


Durham is easy to reach by train with frequent services to London (about 3 hours) and Edinburgh (about 2 hours). Newcastle Airport also has good connections to Durham.

Here is further information on travelling to Durham. Here is an annotated map for finding your way in the city: expand the lists in the margin and click on Department of Computer Science to find the building where the meeting takes place. Here is a better map to print: the Department of Computer Science is building 14 and Collingwood College is 6.

Residential delegates can go first to Collingwood College if they wish to leave luggage there (but rooms might not be available before 2pm). Note that the college reception is open from 8am to 5pm on weekdays. At other times a duty porter is available. If he is not at reception, there is a phone and instructions to contact him.

Residential delegates who will arrive by car should go first to Collingwood College and register their car with the college reception before using the college car park (spaces are subject to availability). The university does not provide parking for non-residential delegates. The Durham City Park and Ride at Howlands Farm is a 15 minute walk (or a short bus journey) from the Department.

PREVIOUS CONFERENCES

  • 1985 – BTCSC 1 – University of Leeds, 1-3 April 1985
  • 1986 – BTCSC 2 – University of Warwick, 24-26 March 1986
  • 1987 – BCTCS 3 – University of Leicester, 13-15 April 1987
  • 1988 – BCTCS 4 – University of Edinburgh, 28-31 March 1988
  • 1989 – BCTCS 5 – Royal Holloway and Bedford New College, 11-13 April 1989
  • 1990 – BCTCS 6 – University of Manchester, 28-30 March 1990
  • 1991 – BCTCS 7 – University of Liverpool, 26-28 March 1991
  • 1992 – BCTCS 8 – University of Newcastle, 24-26 March 1992
  • 1993 – BCTCS 9 – University of York, 28-31 March 1993
  • 1994 – BCTCS 10 – University of Bristol, 28-30 March 1994
  • 1995 – BCTCS 11 – University of Wales Swansea, 2-5 April 1995
  • 1996 – BCTCS 12 – University of Kent at Canterbury, 1-4 April 1996
  • 1997 – BCTCS 13 – University of Sheffield, 23-26 March 1997
  • 1998 – BCTCS 14 – University of St. Andrews, 31 March – 2 April 1998
  • 1999 – BCTCS 15 – Keele University 14-16th April 1999
  • 2000 – BCTCS 16 – University of Liverpool 10-12th April 2000
  • 2001 – BCTCS 17 – University of Glasgow, 9-12th April 2001
  • 2002 – BCTCS 18 – HP Laboratories Bristol, 7-10 April 2002
  • 2003 – BCTCS 19 – University of Leicester, 7-9 April 2003
  • 2004 – BCTCS 20 – University of Stirling, 5-8 April 2004
  • 2005 – BCTCS 21 – University of Nottingham, 21-24 March 2005
  • 2006 – BCTCS 22 – Swansea University, 4-7 April 2006
  • 2007 – BCTCS 23 – Oxford University, 2-5 April 2007
  • 2008 – BCTCS 24 – Durham University, 7-10 April 2008
  • 2009 – BCTCS 25 – Warwick University, 6-9 April 2009
  • 2010 – BCTCS 26 – Edinburgh University, 6-9 April 2010
  • 2011 – BCTCS 27 – Birmingham University, 18-21 April 2011
  • 2012 – BCTCS 28 – Manchester University, 2-5 April 2012
  • 2013 – BCTCS 29 – University of Bath, 24-27 March 2013
  • 2014 – BCTCS 30 – Loughborough University, 9-11 April 2014
  • 2015 – BCTCS 31 – Middlesex University, 14-18 September 2015
  • 2016 – BCTCS 32 – Queen’s University Belfast, 22-24 March 2016
  • 2017 – BCTCS 33 – University of St Andrews, 26-28 April 2017
  • 2018 – BCTCS 34 – Royal Holloway University of London, 26-28 March 2018