posted by organizer: amitabhtrehan || 3640 views || tracked by 4 users: [display]

BCTCS 2016 : 32nd British Colloquium of Theoretical Computer Science 2016

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/a/monoid.at/bctcs-2016/
 
When Mar 22, 2016 - Mar 24, 2016
Where Belfast, NI, United Kingdom
Submission Deadline Feb 15, 2016
Final Version Due Mar 22, 2016
Categories    computer science   cs theory   workshop
 

Call For Papers

The 32th British Colloquium for Theoretical Computer Science (BCTCS) will be hosted by the Department of Computer Science, Queen's University of Belfast.

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, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.

The colloquium features both invited (a list of eminent speakers is on the website) and contributed talks.

Submissions are invited for contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. The titles and abstracts of invited and contributed talks will appear in the Bulletin of the EATCS.

Participants wishing to give a 30 minute contributed talk on any topic in the scope of the colloquium need to email a title and abstract to bctcs@qub.ac.uk. The deadline for submission and early registration is Feb 15, 2016 but late submission and registration will be accepted space permitting. There are also limited number of bursaries for PhD students who apply early.

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
IEEE ICA 2022   The 6th IEEE International Conference on Agents