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.

6 - 8 April 2020, 36th British Colloquium for Theoretical Computer Science (BCTCS & AlgoUK 2020), Swansea, Wales

Date: 6 - 8 April 2020
Location: Swansea, Wales
Deadline: Sunday 1 March 2020

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, game theory, types, languages and logics.

BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering.

Participants wishing to give a 30 minute contributed talk on any topic within the scope of the colloquium are invited to submit a title and abstract via the BCTCS'2020 webpage. Presentations from research students and early career researchers are particularly encouraged. The titles and abstracts of all invited and contributed talks will appear in the Bulletin of the EATCS.

For more information, see http://www.cs.swan.ac.uk/bctcs2020.

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