Friday, December 11, 2020

[DMANET] BCTCS 2021 CFP

BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2021
University of Liverpool
March 29-31, 2021
https://intranet.csc.liv.ac.uk/~bctcs2021/

Due to the ongoing pandemic BCTCS 2021 will be organised as an on-line
event on Zoom and gather.town.

------------------------------------------------------------------------

ABOUT THE BCTCS

The BCTCS is an annual event for UK-based researchers in theoretical
computer science to present their research and discuss future
directions. The meeting aims to provide an environment in which PhD
students can gain experience in presenting their work, to broaden their
outlook on the subject, and to 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, types,
languages and logics.

PARTICIPATION

BCTCS welcomes contributions in the form of conference talks. You can
chose to give a full (25+5mins) talk or a short (5+5 mins) presentation
accompanied by a poster that will be displayed throughout the event.

To propose a talk please send title, abstract and a short paragraph
about yourself to bctcs2021@liverpool.ac.uk. These should be in plain
text or LaTeX without non-standard macros.

We put no restrictions on the originality or publication status of
submissions. There will be no formal proceedings but the collection of
the contributed abstracts will appear in the Bulletin of the EATCS.

IMPORTANT DATES

- Abstract submission: 1 February 2021
- Registration: 1 March 2021
- Meeting: 29-31 March 2021

LONDON MATHEMATICAL SOCIETY INVITED SPEAKER

- Jan Krajicek - Charles University, Prague

INVITED PLENARY SPEAKERS

- Eleni Akrida - Durham
- Herbert Edelsbrunner - IST, Vienna
- Kousha Etessami - Edinburgh
- Alessandra Russo - Imperial

With best wishes,
Patrick Totzke and Michele Zito (local organizers)


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************