Wednesday
Thursday
Friday
BCTCS provides 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.
Scope
-----
All aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Computer scientists and mathematicians are welcome to attend, as are participants from outside the UK.
Location
--------
The 2006 colloquium will be hosted by the Computer Science Department at Swansea University, situated in the centre of the South Wales coast. Swansea has a long maritime history, is currently a growth centre for high-tech industry, and is located next to the Gower Peninsula, an area of outstanding natural beauty.
Programme
---------
The programme will consist of two and a half days of invited and contributed talks, beginning at 9am on Wednesday 5 April and concluding at 1pm on Friday 7th April 2006. The abstracts of the talks will be published in the Bulletin of the European Association for Theoretical Computer Science (EATCS).
Invited Speakers
----------------
Hajo Broersma, Durham University
Mark Jerrum, Edinburgh University
Stephen Cook,Toronto University
Peter Mosses, Swansea University
Tony Hoare, Microsoft Cambridge
Moshe Vardi, Rice University
Samson Abramsky, Oxford University, will report on the efforts of a UKCRC Working Group to establish a UK Learned Society for Computer Science.