[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
---
BCTCS & AlgoUK 2020 Organizing Committee:
Ulrich Berger, Phillip James, Faron Moller, Liam O'Reilly, Filipos Pantekis,
Olga Petrovska, Markus Roggenbach, Monika Seisenberger (Swansea University);
and Daniel Paulusma, Iain Stewart (Durham University)
Copyright © 2020 BCTCS, All rights reserved.
