The University of Manchester

The 28th British Colloquium for Theoretical Computer Science is hosted by the School of Computer Science at the University of Manchester.

The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and 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. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.

Newsflash: abstract submission is now open for contributed talks.

Newsflash: PhD student bursaries are still available.

Newsflash: delegates are urged to book accommodation early, to avoid disappointment: Manchester hotels can become very busy at Easter.

This year, BCTCS will be collocated with the Automated Reasoning Workshop ARW. There will be joint BCTCS/ARW invited talks on 2nd April and 3rd April. In addition, ARW will have  sessions on 3rd April and 4th April in parallel with BCTCS, which BCTCS participants are free to attend.


 

            

You are here: Home