British Colloquium for Theoretical Computer Science
1-4 April 1996
University of Kent at Canterbury
BCTCS 12 was be held in
on 1-4 April 1996. Canterbury is an attractive cathedral city in the south
east of England, which lies close to the English channel, as well as
to orchards and rolling countryside.
The meeting was held at the University of Kent, with accommodation being
provided in Darwin College, one of the four colleges of the university.
We were very grateful to receive invited presentations from the following speakers.
Abstracts of underlined titles can be seen by clicking on them.
The abstracts are collected together here.
Research contributions: Web resources
Research contributions were
sought on any area of theoretical computer science. We have preserved the
submissions of both titles and abstracts, and augmented this with
links to full versions of papers and to authors' home pages where these are available.
Full support was provided by EPSRC for 25
EPSRC-supported PhD students. The organisers are very grateful for this financial assistance.
The programme in PostScript form is here.
- Simon Thompson (S.J.Thompson@ukc.ac.uk).
- John Derrick (J.Derrick@ukc.ac.uk).
Committee of the BCTCS
Alan Gibbons (Chairman, Liverpool),
Paul Dunne (Secretary, Liverpool),
Iain Stewart (Treasurer, Swansea), Julian Bradfield (Edinburgh),
Savita Chauhan (Ph.D student member, Swansea),
Mike Holcombe (Sheffield), John Stell (Keele),
Simon Thompson (Kent),
Chris Tofts (Manchester), John Tucker (Swansea).
The next BCTCS will be held in Sheffield, and the 1998 meeting will take place in St Andrews.
The BCTCS archives, maintained by Paul Dunne at Liverpool are
Details of a Mathfit workshop on
Semantics for Concurrency and Distribution
at the University of Kent, 19-21 July 1996 are
Written 10 May 1995,
Last modified 29 May 1996.