[DMANET] BCTCS 2016, March 22-24, Queen's University Belfast (fwd)

The 32th British Colloquium for Theoretical Computer Science (BCTCS)will be hosted by the Department of Computer Science, Queen's Universityof Belfast, from 22nd to 24th March, 2016.

The purpose of BCTCS is to provide a forum in which researchers intheoretical computer science can meet, present research findings, anddiscuss developments in the field. It also aims to provide anenvironment in which PhD students can gain experience in presentingtheir work, and benefit from contact with established researchers.

The scope of the colloquium includes all aspects of theoretical computerscience, including automata theory, algorithms, complexity theory,semantics, formal methods, concurrency, types, languages and logics.Both computer scientists and mathematicians are welcome to attend, asare participants from outside of the UK.

The colloquium features both invited and contributed talks. This yearthe invited speakers are as follows:

We are grateful for support from the Heilbronn Institute forMathematical Research which will provide bursaries for 5 students tocover registration fees and accommodation. If you wish to apply for abursary, please email bctcs@qub.ac.uk as soon as possible, indicatingthat you would be willing to give a contributed talk and stating thename of your supervisor. Subsequently, a title and abstract should beprovided. The supervisor should write a letter of support to the sameemail address, confirming that the student will attend BCTCS'16.

Participants wishing to give a 30 minute contributed talk on any topicin the scope of the colloquium are invited to email a title and abstractto bctcs@qub.ac.uk. Presentations from research students and earlycareer researchers are particularly encouraged. The titles and abstractsof invited and contributed talks will appear in the Bulletin of the EATCS.

The early registration deadline is 15 February 2016, before which thefee for the colloquium is £160, which includes lunches/coffee/tea on alldays and a drinks reception and conference dinner on Wednesday 23 March.After this date, a late registration fee will apply.

************************************************************ 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/***********************************************************