posted by user: matthewhague || 2323 views || tracked by 3 users: [display]

BCTCS 2018 : British Colloquium for Theoretical Computer Science

FacebookTwitterLinkedInGoogle

Link: http://bctcs18.cs.rhul.ac.uk
 
When Mar 26, 2018 - Mar 28, 2018
Where Royal Holloway, University of London
Submission Deadline Feb 1, 2018
Categories    computer science   theory
 

Call For Papers

BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2018: CALL FOR PRESENTATIONS
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

Related Resources

AAAI 2021   35th AAAI Conference on Artificial Intelligence
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
RiE 2021   12th International Conference on Robotics in Education
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
ITE 2021   2nd International Conference on Integrating Technology in Education