Saturday, May 23, 2015

[DMANET] BCTCS 2015 - First announcement

           British Colloquium for Theoretical Computer Science  
                    Middlesex University, Hendon, London, UK
                             14th--18th September 2015
                            FIRST ANNOUNCEMENT

The 30th British Colloquium for Theoretical Computer Science will be
hosted by the Foundations of Computing Group, Department of 
Computer Science, Middlesex University, from 14th to 18th September,

Associated with the meeting, on Thursday 17th September, the London
Mathematical Society (LMS) Algorithms & Cryptography Day. The LMS
will celebrate its 150th anniversary as BCTCS celebrates its 30th with
its first visit to the capital.

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 currently include the following (with one or two
more to be added).
   Per Martin-Lof, Stockholm University, Sweden.
   Timothy Gowers, Cambridge University (tbc).
   Tony Hoare, Microsoft Research.
   Thomas Hales, University of Pittsburgh, USA, (LMS Keynote).
   Joseph Sifakis, University of Grenoble, France.

The LMS meeting on Thursday also has eminent speakers.

   Mike Paterson, University of Warwick.
   Lance Fortnow, Georgia Tech, USA.
   Jon Kleinberg, Cornell University, USA.
   Nigel Smart, University of Bristol.
   Shafi Goldwasser, MIT, USA.
   Adi Shamir, Weizmann Institute, Israel (tbc). 
We are grateful for support from the Heilbronn Institute for 
Mathematical Research which will provide bursaries for 18 students to
cover registration fees and accommodation. Please register initial
interest for these with

Barnaby Martin, Raja Nagarajan and Giuseppe Primiero.
Organising Committee.


Michele Zito, Computer Science, University of Liverpool (UK)
E-mail: WWW:
* Contributions to be spread via DMANET are submitted to
* 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.