Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2-5 April 2012, 28th British Colloquium for Theoretical Computer Science (BCTCS 2012), Manchester, U.K.

Date: 2-5 April 2012
Location: Manchester, U.K.
Deadline: 19 March 2012

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. This year, BCTCS is part of the Alan Turing Year, and will be collocated with the Automated Reasoning Workshop ARW.

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.

Further details are available from the Colloquium website at http://bctcs2012.cs.manchester.ac.uk/.

Participants wishing to give 30 minute contributed talks should submit a title and abstract by March 19th.

Please note that this newsitem has been archived, and may contain outdated information or links.