Tuesday, December 1, 2015

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

====================================================

British Colloquium for Theoretical Computer Science
Queen's University Belfast
22nd-24th March 2016

https://sites.google.com/a/monoid.at/bctcs-2016/

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

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 and contributed talks. This year
the invited speakers are as follows:

- Michael J Butler, University of Southampton

- Rob Gilles, Queen's University Belfast

- Magnús Halldórsson, Reykjavik University

- Matthew Hennessy, Trinity College Dublin

- Valerie King, University of Victoria, Canada
(The LMS Keynote Speaker in Discrete Maths)

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

Participants wishing to give a 30 minute contributed talk on any topic
in the scope of the colloquium are invited to email a title and abstract
to bctcs@qub.ac.uk. 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.

To register for the colloquium, go to the Colloquium web page at

https://sites.google.com/a/monoid.at/bctcs-2016/

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

For any queries, please contact bctcs@qub.ac.uk.

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