Skip to search formSkip to main contentSkip to account menu

British Colloquium for Theoretical Computer Science

Known as: BCTCS 
The British Colloquium for Theoretical Computer Science (BCTCS) is an organisation that hosts an annual event for UK-based researchers in theoretical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
ATYAlgorithmChris ToftsComplexity

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Report on BCTCS 2018
  • M. Hague
  • Bull. EATCS
  • 2018
  • Corpus ID: 54548575
We provide a general proof-theoretic framework connecting logic and concurrent computation. We describe an algorithm for… 
2016
2016
Report on BCTCS 2016: The 32nd British Colloquium for Theoretical Computer Science 22–24 March 2016, Queen’s University Belfast
This paper was accepted for publication in the journal Bulletin of the EATCS and the definitive published version is available at… 
2015
2015
An investigation of access to the education system and the admission processes for learners with autism spectrum disorder in the province of KwaZulu-Natal, South Africa.
Master of Arts in Educational Psychology. University of KwaZulu-Natal, Pietermaritzburg 2015. 
2014
2014
Invited Talks at BCTCS 2013
The scientific study of programming languages requires a formal specification of their semantics. However, the incentives of… 
2014
2014
Report on BCTCS 2013
2013
2013
Report on BCTCS 2011
2013
2013
Report on BCTCS 2010
and internal stimuli. A logical framework for such evolvable systems is introduced in (IGPL 17:6 631-696 2009). In this framework… 
Review
2011
Review
2011
Invited Talks at BCTCS 2011
s for all of the talks are provided below. The financial support of the London Mathematical Society (LMS) is gratefully… 
2005
2005
Report on BCTCS 2005
This report contains edited abstracts from BCTCS 2005, which was held on 22nd to 24th March 2005 in Nottingham, England. 
1982
1982
The BCTCS and primary breast cancer trials in the UK.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)