British Colloquium for Theoretical Computer Science

Last updated

The British Colloquium for Theoretical Computer Science ( BCTCS ) is an organisation, founded in 1985, that represents the interests of Theoretical Computer Science in the UK, e.g. through representation on academic boards and providing commentary and evidence in response to consultations from public bodies. The BCTCS operates under the direction of an Organising Committee, with an Executive consisting of a President, Secretary and Treasurer. The current President is Barnaby Martin.

Contents

The purpose of BCTCS is:

  1. to provide a platform from which the interests and future well-being of British theoretical computer science may be advanced;
  2. to offer a forum in which UK-based researchers in all aspects of theoretical computer science can meet, present research findings, and discuss recent developments in the field; and
  3. to foster an environment within which PhD students undertaking research in theoretical computer science may gain experience in presenting their work in a formal arena, broaden their outlook on the subject, and benefit from contact with established researchers in the community.

In pursuit of these aims, the BCTCS organises an annual Conference for UK-based researchers in theoretical computer science. A central aspect of the annual BCTCS Conference is the training of PhD students. The scope of the annual BCTCS Conference includes all aspects of theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics. An emphasis on breadth, together with the inherently mathematical nature of theoretical computer science, means that BCTCS always actively solicits both computer scientists and mathematicians as participants at its annual Conference, and offers an environment within which the two communities can meet and exchange ideas.

The Annual BCTCS Conference is primarily for the benefit of UK-based researchers. However, to promote British theoretical computer science in the wider community, participants from outside of the UK are welcome to attend, and the programme of invited talks every year includes high-profile researchers from abroad.

Past officers of the BCTCS

Presidents

  1. John V. Tucker (1985–1992)
  2. Alan Gibbons (1992–1998)
  3. Iain Stewart (1998–1999)
  4. Paul Dunne (1999–2001)
  5. Chris Tofts (2001–2004)
  6. Faron Moller (2004–2019)
  7. Barnaby Martin (2019-)

Secretaries

  1. Mark Jerrum (1989–1992)
  2. Paul Dunne (1992–1999)
  3. Julian Bradfield (1999–2005)
  4. Graham Hutton (2005–2011)
  5. David Manlove (2011-2020)
  6. Michele Zito (2020-2023)
  7. Oana Andrei (2023-)

Treasurers

  1. David Rydeheard (1989–1996)
  2. Chris Tofts (1996–2001)
  3. Faron Moller (2001–2004)
  4. Stephan Reiff-Marganiec (2004–2018)
  5. Matthew Hague (2018-2021)
  6. Olga Petrovska (2021-)

Postgraduate representatives

  1. Savita Chauhan (1995-1997)
  2. Billy Duckworth (1997-1998)
  3. Richard Gault (1998-1999)
  4. Mei Lin Hui (1999-2000)
  5. Paul Sant (2000-2003)
  6. Corinna Elsenbroich (2003-2004)
  7. Vladimir Aleksic (2004-2005)
  8. Joel Wright (2005-2006)
  9. Joachim Baran (2006-2007)
  10. Temesghen Kahsai Azene (2007–2008)
  11. Haris Aziz (2008–2009)
  12. Julian Gutierrez (2009–2010)
  13. Radhakrishnan Delhibabu (2010–2011)
  14. Laurence E. Day (2011-2012)
  15. Andy Lawrence (2012-2013)
  16. Augustine Kwanashie (2013-2014)
  17. Pavan Sangha (2014-2015)
  18. Bram Geron (2015-2016)
  19. Thomas van Binsbergen (2016-2017)
  20. Frances Cooper (2017-2018)
  21. Sofiat Olaosebikan (2018-2019)
  22. Karl Southern (2019-2020)
  23. Filippos Pantekis (2020-2021)
  24. Michael McKay (2021-2022)
  25. Peace Ayegba (2022-2023)
  26. David Kutner (2023-)

BCTCS Conferences

1985 – BTCSC 1 – University of Leeds, 1–3 April 1985 (Organisers: John Tucker and Stan Wainer)

1986 – BTCSC 2 – University of Warwick, 24–26 March 1986 (Organisers: Meurig Beynon and Steve Matthews)

1987 – BCTCS 3 – University of Leicester, 13–15 April 1987 (Organiser: Derek Andrews)

1988 – BCTCS 4 – University of Edinburgh, 28–31 March 1988 (Organiser: Mark Jerrum)

1989 – BCTCS 5 – Royal Holloway and Bedford New College, 11–13 April 1989 (Organisers: Costas Iliopolous and John Shaw-Taylor)

1990 – BCTCS 6 – University of Manchester, 28–30 March 1990 (Organiser: David Rydeheard)

1991 – BCTCS 7 – University of Liverpool, 26–28 March 1991 (Organiser: Paul Dunne)

1992 – BCTCS 8 – University of Newcastle, 24–26 March 1992 (Organiser: Iain Stewart)

1993 – BCTCS 9 – University of York, 28–31 March 1993 (Organiser: Hussein Zedan)

1994 – BCTCS 10 – University of Bristol, 28–30 March 1994 (Organiser: Brian Stonebridge)

1995 – BCTCS 11 – University of Wales Swansea, 2–5 April 1995 (Organiser: Chris Tofts)

1996 – BCTCS 12 – University of Kent at Canterbury, 1–4 April 1996 (Organiser: Simon Thompson)

1997 – BCTCS 13 – University of Sheffield, 23–26 March 1997 (Organisers: Mike Holcombe and Matt Fairtlough)

1998 – BCTCS 14 – University of St. Andrews, 31 March – 2 April 1998 (Organiser: Tom Kelsey)

1999 – BCTCS 15 – Keele University 14–16 April 1999 (Organiser: John Stell)

2000 – BCTCS 16 – University of Liverpool 10–12 April 2000 (Organiser: Martyn Amos)

2001 – BCTCS 17 – University of Glasgow, 9–12 April 2001 (Organiser: Stephan Reiff-Marganiec)

2002 – BCTCS 18 – HP Laboratories Bristol, 7–10 April 2002 (Organiser: Chris Tofts)

2003 – BCTCS 19 – University of Leicester, 7–9 April 2003 (Organiser: Neil Ghani)

2004 – BCTCS 20 – University of Stirling, 5–8 April 2004 (Organiser: Stephan Reiff-Marganiec and Carron Shankland)

2005 – BCTCS 21 – University of Nottingham, 21–24 March 2005 (Organiser: Graham Hutton)

2006 – BCTCS 22 – Swansea University, 4–7 April 2006 (Organisers: Faron Moller and Markus Roggenbach)

2007 – BCTCS 23 – Oxford University, 2–5 April 2007 (Organisers: Sharon Curtis and Jeremy Gibbons)

2008 – BCTCS 24 – Durham University, 7–10 April 2008 (Organisers: Hajo Broersma, Tom Friedetzky and Daniel Paulusma)

2009 – BCTCS 25 – Warwick University, 6–9 April 2009 (Organisers: Artur Czumaj, Sara Kalvala and Steve Matthews)

2010 – BCTCS 26 – Edinburgh University, 6–9 April 2010 (Organisers: Julian Bradfield and Mary Cryan)

2011 – BCTCS 27 – Birmingham University, 18–21 April 2011 (Organisers: Achim Jung and Paul Levi)

2012 – BCTCS 28 – Manchester University, 2–5 April 2012 (Organiser: Ian Pratt-Hartmann)

2013 – BCTCS 29 – University of Bath, 24–27 March 2013 (Organisers: James Davenport, Guy McCusker)

2014 – BCTCS 30 – Loughborough University, 9–11 April 2014 (Organisers: Paul Bell and Daniel Reidenbach)

2015 – BCTCS 31 – Middlesex University, 14–18 September 2015 (Organisers: Barnaby Martin, Guiseppe Primero and Rajagopal Nagarajan)

2016 – BCTCS 32 – Queen’s University Belfast, 22–24 March 2016 (Organisers: Amitabh Trehan, Pooya Farshim, Peter Robinson and Alan Stewart)

2017 – BCTCS 33 – University of St Andrews, 26–28 April 2017 (Organiser: Markus Pfeiffer)

2018 – BCTCS 34 – Royal Holloway University of London, 26–28 March 2018 (Organiser: Matthew Hague)

2019 – BCTCS 35 – Durham University, 15–17 April 2019 (Organisers: Matthew Johnson, Barnaby Martin, George Mertzios and Daniël Paulusma.)

2020 – BCTCS 36 – Swansea University, 6–8 April 2020 (Organisers: Ulrich Berger, Faron Moller, Markus Roggenbach, Monika Seisenberger, Olga Petrovska and Liam O’Reilly)

2021 – BCTCS 37 – University of Liverpool, 29–31 March 2021 (Organisers: Patrick Totzke and Michele Zito)

2022 – BCTCS 38 – Swansea University, 11–13 April 2022 (Organisers: Monika Seisenberger and Olga Petrovska)

2023 – BCTCS 39 – University of Glasgow, 3–4 April 2023 (Organiser: Ciaran McCreesh)

2024 – BCTCS 40 – University of Bath, 4–5 April 2024 (Organisers: James Davenport and Thomas Powell)

See also

Related Research Articles

<span class="mw-page-title-main">Robin Milner</span> British computer scientist (1934–2010)

Arthur John Robin Gorell Milner was a British computer scientist, and a Turing Award winner.

Computational archaeology describes computer-based analytical methods for the study of long-term human behaviour and behavioural evolution. As with other sub-disciplines that have prefixed 'computational' to their name, the term is reserved for methods that could not realistically be performed without the aid of a computer.

<span class="mw-page-title-main">Brian Josephson</span> British Nobel Laureate in Physics

Brian David Josephson is a British theoretical physicist and professor emeritus of physics at the University of Cambridge. Best known for his pioneering work on superconductivity and quantum tunnelling, he was awarded the Nobel Prize in Physics in 1973 for his prediction of the Josephson effect, made in 1962 when he was a 22-year-old PhD student at Cambridge University. Josephson is the first Welshman to have won a Nobel Prize in Physics. He shared the prize with physicists Leo Esaki and Ivar Giaever, who jointly received half the award for their own work on quantum tunnelling.

The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory. The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span>

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

<span class="mw-page-title-main">Stig Tøfting</span> Danish footballer

Stig Tøfting, commonly known as Tøffe, is a former Danish professional footballer and assistant coach, who most recently was the assistant of Erik Rasmussen at AGF.

<span class="mw-page-title-main">Faron Moller</span> British computer scientist

Faron George Moller is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems. He is founding Director of the Swansea Railway Verification Group; Director of Technocamps; and Head of the Institute of Coding in Wales. In 2023, he was elected General Secretary of the Learned Society of Wales.

Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.

Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005.

<span class="mw-page-title-main">David Olive</span> British theoretical physicist (1937–2012)

David Ian Olive ; 16 April 1937 – 7 November 2012) was a British theoretical physicist. Olive made fundamental contributions to string theory and duality theory, he is particularly known for his work on the GSO projection and Montonen–Olive duality.

Alistair Sinclair is a British computer scientist and computational theorist.

Ronald K. (Ron) Stamper is a British computer scientist, formerly a researcher in the LSE and emeritus professor at the University of Twente, known for his pioneering work in Organisational semiotics, and the creation of the MEASUR methodology and the SEDITA framework.

Chris M. N. Tofts is an English computer scientist.

<span class="mw-page-title-main">Computability in Europe</span>

The Association Computability in Europe (ACiE) is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world. CiE aims to widen understanding and appreciation of the importance of the concepts and techniques of computability theory, and to support the development of a vibrant multi-disciplinary community of researchers focused on computability-related topics. The ACiE positions itself at the interface between applied and fundamental research, prioritising mathematical approaches to computational barriers.

<span class="mw-page-title-main">Applied mathematics</span> Application of mathematical methods to other fields

Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathematical science and specialized knowledge. The term "applied mathematics" also describes the professional specialty in which mathematicians work on practical problems by formulating and studying mathematical models.

<span class="mw-page-title-main">Grzegorz Rozenberg</span> Polish and Dutch computer scientist

Grzegorz Rozenberg is a Polish and Dutch computer scientist.

Trevor Bench-Capon is a British computer scientist and an Honorary Visiting Professor of computer science at the University of Liverpool, where he taught from 1987 until his retirement in 2012. He is the author of work on computer science and ontology and is one of the editors in chief of the Artificial Intelligence and Law Journal.

Leslie Ann Goldberg is a professor of computer science at the University of Oxford and a Fellow of St Edmund Hall, Oxford. Her research concerns the design and analysis of algorithms for random sampling and approximate combinatorial enumeration.

<span class="mw-page-title-main">Hanspeter Pfister</span> Swiss computer scientist

Hanspeter Pfister is a Swiss computer scientist. He is the An Wang Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences and an affiliate faculty member of the Center for Brain Science at Harvard University. His research in visual computing lies at the intersection of scientific visualization, information visualization, computer graphics, and computer vision and spans a wide range of topics, including biomedical image analysis and visualization, image and video analysis, and visual analytics in data science.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.