[isabelle] BCTCS 2006 - First Call for Participation



We apologise if you receive multiple copies.

*--------------------------------------------------------------------*
*                                                                    *
*                            BCTCS 2006                              *
*                                                                    *
*    22nd British Colloquium for Theoretical Computer Science        *
*                                                                    *
*                April 4-7, 2006, Swansea, Wales, UK                 *
*                                                                    *
*--------------------------------------------------------------------*
*               Deadline for registration: February 20, 2006         *
*--------------------------------------------------------------------*
*               http://www.cs.swan.ac.uk/bctcs2006                   *
*--------------------------------------------------------------------*

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.

Contributed Talks & Conference Fee
----------------------------------
Participants (particularly PhD students) are encouraged to submit
titles and abstracts for contributed talks. The registration fee of

                  £285

includes three nights en-suite accommodation, all meals and
refreshments throughout the day, an excursion and banquet at the
newly-opened Maritime Museum, and one year membership of EATCS. A day
rate of £160 is applicable to those not requiring accommodation.

Grants
------
EPSRC has provided free places for 48 UK-based PhD students
allocated on a first-come-first-serve basis.

Registration
------------
The deadline for registration (via the above web page) is

   February 20, 2006.

Places in accommodation are strictly limited, so timely registration
is essential.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.