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.

Registration is now available at www.dur.ac.uk/conference.booking/details/?id=1054

Poster: please download and display our poster.

INVITED BCTCS AND ALGOUK SPEAKERS

Image

Philip Wadler Edinburgh

Image

James Worrell Oxford

PROGRAMME

The detailed programme will appear here later. It will included contributed talks from participants on any topic in the scope of the colloquium. Instructions on how to submit an abstract are below. The goal is discussion, networking, and feedback.

There will also be a number of invited talks.

  • BCTCS Invited Speakers
    Maria Chudnovsky (Princeton)
    Philip Wadler (Edinburgh)

  • 15 April 2019. AlgoUK: Non-Standard Computing
    Andrew Adamatzky (UWE)
    Richard Jozsa (Cambridge)
    Vivien Kendon (Durham)
    Susan Stepney (York)

  • 16 April 2019. AlgoUK: Algorithmics
    Kitty Meeks (Glasgow)
    Bahar Rastegari (Southampton)
    Bernhard von Stengel (LSE)
    James Worrell (Oxford)

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 bctcs.2019@durham.ac.uk 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

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: bctcs.2019@durham.ac.uk

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