[TYPES/announce] BCTCS & AlgoUK 2020 - Announcement and call for contributed talks

[Berger U.]

Announcement and call for contributed talks:
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

      Petra Berenbrink - University of Hamburg (TBC)
      Simon Chadwick - Siemens Rail Automation UK (TBC)
      Robert Constable - Cornell University
      Mike Hinchley - University of Limerick
      Cliff Jones - University of Newcastle
      Bas Luttik - University of Eindhoven
      Tom Maibaum - McMaster University
      David Manlove - University of Glasgow
      Jan Peleska - Bremen University
      Patrick Totzke - University of Liverpool
      Helen Treharne - University of Surrey
      John Tucker - Swansea University (TBC)
      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: 1 February 2020
      Registration: 1 March 2020
      Meeting: 6-8 April 2020

SPONSORS

      London Mathematical Society
      Heilbronn Institute for Mathematical Research
      BCTCS
      AlgoUK
      Institute of Coding in Wales
      Technocamps

---

BCTCS & AlgoUK 2020 Organizing Committee:
Ulrich Berger, Phil James, Faron Moller, Liam O'Reilly, Filipos
Pantekis, Olga Petrovska, Markus Roggenbach, Monika Seisenberger
(Swansea University);
and Daniel Paulusma, Iain Stewart (Durham University)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191210/2377645f/attachment-0001.html>