British Colloquium for Theoretical Computer Science
BCTCS 2018
- URL: http://bctcs18.cs.rhul.ac.uk
- Event Date: 2018-03-26 ~ 2018-03-28
- Submission Date: 2018-02-01
- Location: London, United Kingdom
Engineering & Computer Science (General)
Royal Holloway, University of London
March 26-28, 2018
bctcs18.cs.rhul.ac.uk
BCTCS is the UK's foremost venue bringing together researchers in
theoretical computer science to present their research and discuss
future directions. In addition to the submitted presentations, there
will be five invited talks, given by world-leading researchers in TCS.
The meeting aims to provide an environment in which PhD
students can present their work, and get into contact with their peers
and experienced 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.
The event will form part of the 50th anniversary celebrations of the
department of computer science at RHUL.
SUBMISSION
BCTCS welcomes presentation proposals. These talks should last for
30 minutes, including questions. Work need not be original and is
not formally published: the goal is to encourage discussion and
networking.
Titles and abstracts should be submitted to
bctcs18@cs.rhul.ac.uk
IMPORTANT DATES
Presentation submission: 1 Feb 2018
Registration with accommodation: 1 March 2018
Registrion without accommodation: 8 March 2018
Meeting: 26-28 March 2018
LONDON MATHEMATICAL SOCIETY INVITED SPEAKER
John E. Hopcroft - Cornell University
Research in Deep Learning
INVITED SPEAKERS
Agata Ciabattoni - TU Wien
Marta Kwiatkowska - University of Oxford
Alexandra Silva - University College London
Thomas Sauerwald - University of Cambridge
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
