6-8 Apr 2020
Swansea, Wales
Final Announcement and call for contributed talks: * * * NOTE: We expect to be able to fund all (UK-based) researchers and PhD students. * * * BCTCS & AlgoUK 2020 BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 6th - 8th April 2020, SWANSEA http://www.cs.swan.ac.uk/bctcs2020 The 36th British Colloquium for Theoretical Computer Science will take place in Swansea from the afternoon of Monday 6 April to Wednesday 8 April 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. The list of Invited Speakers includes Simon Chadwick - Siemens Rail Automation UK Robert Constable - Cornell University Edith Elkind - Oxford University Cliff Jones - University of Newcastle Bas Luttik - University of Eindhoven David Manlove - University of Glasgow Jan Peleska - Bremen University MS Ramanujan - Warwick University Patrick Totzke - University of Liverpool Helen Treharne - University of Surrey John Tucker - Swansea University Kristina Vuskovic - University of Leeds SUBMISSION OF PRESENTATIONS 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. REGISTRATION AND BURSARIES Registration information is available at the BCTCS'2020 webpage. We have a number of bursaries worth £200 which can be used to reimburse the travel and accommodation expenses of UK-based researchers and PhD students. We hope to be able to offer these to all participants who provide a talk; but in the case of over-subscription, they will be allocated on a first-come, first-served basis. Hence, do propose a talk early. IMPORTANT DATES (DEADLINES) Talk proposals and Registration: 1 March 2020 Meeting: 6-8 April 2020 SPONSORS BCTCS AlgoUK London Mathematical Society Technocamps Institute of Coding in Wales Sony Technology Centre -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam