BCTCS Logo

British Colloquium for Theoretical Computer Science

Summary of Previous Meetings

Note: The first two meetings were held under the title of the British Theoretical Computer Science Colloquium (BTCSC).

Also, the first three meetings did not have invited plenary speakers, though they did have a mix of established researchers giving longer surveys alongside the more usual shorter technical presentations.

  1. 1985 – BTCSC 1 – University of Leeds, 1-3 April 1985 (Organisers: John Tucker and Stan Wainer)
    (Report: Bulletin of the EATCS, Number 27, page 107, October 1985.)
  2. 1986 – BTCSC 2 – University of Warwick, 24-26 March 1986 (Organisers: Meurig Beynon and Steve Matthews)
    (Report and abstracts: Bulletin of the EATCS, Number 30, pp103-119, October 1986.)
  3. 1987 – BCTCS 3 – University of Leicester, 13-15 April 1987 (Organiser: Derek Andrews)
    (Report and abstracts: Bulletin of the EATCS, Number 32, pp220-227, June 1987.)
  4. 1988 – BCTCS 4 – University of Edinburgh, 28-31 March 1988 (Organiser: Mark Jerrum)
    (Report and abstracts: Bulletin of the EATCS, Number 36, pp233-241, October 1988.)
  5. 1989 – BCTCS 5 – Royal Holloway and Bedford New College, 11-13 April 1989 (Organisers: Costas Iliopolous and John Shaw-Taylor)
    (Report and abstracts: Bulletin of the EATCS, Number 39, pp207-224, October 1989.)
  6. 1990 – BCTCS 6 – University of Manchester, 28-30 March 1990 (Organiser: David Rydeheard)
    (Report and abstracts: Bulletin of the EATCS, Number 41, pp250-264, June 1990.)
  7. 1991 – BCTCS 7 – University of Liverpool, 26-28 March 1991 (Organiser: Paul Dunne)
    (Report and abstracts: Bulletin of the EATCS, Number 44, pp286-296, June 1991.)
  8. 1992 – BCTCS 8 – University of Newcastle, 24-26 March 1992 (Organiser: Iain Stewart)
    (Report and abstracts: Bulletin of the EATCS, Number 47, pp231-239, June 1992.)
  9. 1993 – BCTCS 9 – University of York, 28-31 March 1993 (Organiser: Hussein Zedan)
    (Report and abstracts: Bulletin of the EATCS, Number 50, pp353-364, June 1993.)
  10. 1994 – BCTCS 10 – University of Bristol, 28-30 March 1994 (Organiser: Brian Stonebridge)
    (Report and abstracts: Bulletin of the EATCS, Number 54, pp246-255, October 1994.)
  11. 1995 – BCTCS 11 – University of Wales Swansea, 2-5 April 1995 (Organiser: Chris Tofts)
    (Report and abstracts: Bulletin of the EATCS, Number 58, pp222-231, February 1996.)
  12. 1996 – BCTCS 12 – University of Kent at Canterbury, 1-4 April 1996 (Organiser: Simon Thompson)
    (Report and abstracts: Bulletin of the EATCS, Number 61, pp100-109, February 1997.)
  13. 1997 – BCTCS 13 – University of Sheffield, 23-26 March 1997 (Organisers: Mike Holcombe and Matt Fairtlough)
    (Report and abstracts: Bulletin of the EATCS, Number 64, pp222-238, February 1998.)
  14. 1998 – BCTCS 14 – University of St. Andrews, 31 March – 2 April 1998 (Organiser: Tom Kelsey)
  15. 1999 – BCTCS 15 – Keele University 14-16th April 1999 (Organiser: John Stell)
  16. 2000 – BCTCS 16 – University of Liverpool 10-12th April 2000 (Organiser: Martyn Amos)
    (Report and abstracts: Bulletin of the EATCS, Number 72, pp203-213, October 2000.)
  17. 2001 – BCTCS 17 – University of Glasgow, 9-12th April 2001 (Organiser: Stephan Reiff-Marganiec)
    (Report and abstracts: Bulletin of the EATCS, Number 74, pp249-261, June 2001.)
  18. 2002 – BCTCS 18 – HP Laboratories Bristol, 7-10 April 2002 (Organiser: Chris Tofts)
    (Report and abstracts: Bulletin of the EATCS, Number 78, pp257-270, October 2002.)
  19. 2003 – BCTCS 19 – University of Leicester, 7-9 April 2003 (Organiser: Neil Ghani)
  20. 2004 – BCTCS 20 – University of Stirling, 5-8 April 2004 (Organiser: Stephan Reiff-Marganiec and Carron Shankland)
    (Report and abstracts: Bulletin of the EATCS, Number 85, pp198-206, February 2005.)
  21. 2005 – BCTCS 21 – University of Nottingham, 21-24 March 2005 (Organiser: Graham Hutton)
    (Report and abstracts: Bulletin of the EATCS, Number 86, pp241-256, June 2005.)
  22. 2006 – BCTCS 22 – Swansea University, 4-7 April 2006 (Organisers: Faron Moller and Markus Roggenbach)
    (Report and abstracts: Bulletin of the EATCS, Number 89, pp187-211, June 2006.)
  23. 2007 – BCTCS 23 – Oxford University, 2-5 April 2007 (Organisers: Sharon Curtis and Jeremy Gibbons)
    (Report and abstracts: Bulletin of the EATCS, Number 92, pp165-186, June 2007.)
  24. 2008 – BCTCS 24 – Durham University, 7-10 April 2008 (Organisers: Hajo Broersma, Tom Friedetzky and Daniel Paulusma)
    (Report and abstracts: Bulletin of the EATCS, Number 95, pp251-272, June 2008.)
  25. 2009 – BCTCS 25 – Warwick University, 6-9 April 2009 (Organisers: Artur Czumaj, Sara Kalvala and Steve Matthews)
    (Report and abstracts: Bulletin of the EATCS, Number 98, pp181-211, June 2009.)
  26. 2010 – BCTCS 26 – Edinburgh University, 6-9 April 2010 (Organisers: Julian Bradfield and Mary Cryan)
    (Report and abstracts: Bulletin of the EATCS, Number 102, pp202-225, October 2010.)
  27. 2011 – BCTCS 27 – Birmingham University, 18-21 April 2011 (Organisers: Achim Jung and Paul Levi)
    (Report and abstracts: Bulletin of the EATCS, Number 105, pp221-232, October 2011.)
  28. 2012 – BCTCS 28 – Manchester University, 2-5 April 2012 (Organiser: Ian Pratt-Hartmann)
    (Report and abstracts: Bulletin of the EATCS, Number 107, pp145-165, June 2012.)
  29. 2013 – BCTCS 29 – University of Bath, 24-27 March 2013 (Organisers: James Davenport, Guy McCusker)
    (Report and abstracts: Bulletin of the EATCS, Number 113, pp181-198, June 2014.)
  30. 2014 – BCTCS 30 – Loughborough University, 9-11 April 2014 (Organisers: Paul Bell and Daniel Reidenbach)
    (Report and abstracts: Bulletin of the EATCS, Number 113, pp199-211, June 2014.)
  31. 2015 – BCTCS 31 – Middlesex University, 14-18 September 2015 (Organisers: Barnaby Martin, Guiseppe Primero and Rajagopal Nagarajan)
    (Report and abstracts: Bulletin of the EATCS, Number 118, pp165-173, February 2016.)
  32. 2016 – BCTCS 32 – Queen’s University Belfast, 22-24 March 2016 (Organisers: Amitabh Trehan, Pooya Farshim, Peter Robinson and Alan Stewart)
    (Report and abstracts: Bulletin of the EATCS, Number 119, pp97-109, June 2016.)
  33. 2017 – BCTCS 33 – University of St Andrews, 26-28 April 2017 (Organiser: Markus Pfeiffer)
    (Report and abstracts: Bulletin of the EATCS, Number 122, pp133-141, June 2017.)
  34. 2018 – BCTCS 34 – Royal Holloway University of London, 26-28 March 2018 (Organiser: Matthew Hague)
    (Report and abstracts: Bulletin of the EATCS, Number 126, pp109-122, October 2018.)
  35. 2019 – BCTCS 35 – Durham University, 15-17 April 2019 (Organisers: Matthew Johnson, Barnaby Martin, George Mertzios and Daniël Paulusma.)
    (Report and abstracts: Bulletin of the EATCS, Number 128, pp113-131, June 2019.)
  36. 2020 – BCTCS 36 – Swansea University, 6-8 April 2020 (Organisers: Ulrich Berger, Faron Moller, Markus Roggenbach, Monika Seisenberger, Olga Petrovska and Liam O’Reilly)
    (Report and abstracts: Bulletin of the EATCS, Number 131, pp141-154, June 2020.)
  37. 2021 – BCTCS 37 – University of Liverpool, 29-31 March 2021 (Organisers: Patrick Totzke and Michele Zito)
    (Report and abstracts: Bulletin of the EATCS, Number 134, pp77-91, June 2021.)
  38. 2022 – BCTCS 38 – Swansea University, 11-13- April 2022 (Organisers: Monika Seisenberger and Olga Petrovska)
    (Report and abstracts: Bulletin of the EATCS, Number 137, pp227-240, June 2022.)
  39. 2023 – BCTCS 39 – University of Glasgow, 3-4 April 2023 (Organiser: Ciaran McCreesh)
    (Report and abstracts: Bulletin of the EATCS, Number 140, pp187-196, June 2023.)
  40. 2024 – BCTCS 40 – University of Bath, 4-5 April 2024 (Organisers: James Davenport and Thomas Powell)
    (Report and abstracts: Bulletin of the EATCS, Number 143, pp93-104, June 2024.)