British Colloquium for Theoretical Computer Science
Subject: British Colloquium for Theoretical Computer Science
From: bctcs <email@example.com>
Date: Thu, 21 Dec 1995 13:07:16 GMT
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
British Colloquium for Theoretical Computer Science 12
1-4 April 1996
University of Kent at Canterbury
BCTCS 12 will be held in Canterbury 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 will be held at the University of Kent, with accommodation being
provided in Darwin College, one of the four colleges of the university.
Transport from London and the channel ports is available by train and bus.
Amongst the invited speakers are
P. Aczel (University of Manchester)
G. Birtwistle (University of Leeds)
E. Brinksma (University of Twente, The Netherlands)
F. K. Hanna (University of Kent)
U. Martin (University of St Andrews)
D. Perrin (LITP, France)
J. Toran (Barcelona, Spain)
D. A. Turner (University of Kent)
The cost of attendance, including three nights accommodation, all meals and
the conference dinner, will be 160 pounds (sterling) for postgraduate students
and 205 pounds for staff. For those making other arrangements for overnight
accommodation, the rates will be 80 pounds and 110 pounds respectively.
Full support is being provided by EPSRC for up to 25
EPSRC-supported PhD students. Supported places will be allocated on a
first-come, first-served basis, with priority given to students presenting
Payment may be by (sterling)
cheque, money order or cash, and may be made prior to or on arrival at the
colloquium. Cheques should be made payable to `Unikent' and sent with the registration form.
Research contributions are sought on any area of theoretical computer science.
Topics include, but are not limited to:
Theory of Concurrency, Formal Methods, Computational Complexity,
Finite Model Theory, Program Specification and Verification,
Abstract Data Types, Proof Theory and Logic, Theory of Programming,
Hardware Verification, Automata and Formal Languages,
Artificial Intelligence, Symbolic Computation, Term Rewriting,
Applications of Formal Methods, Case Studies.
Registering and submitting a paper
To register or submit a title and abstract of a paper, fill in the form below
or use the World Wide Web form available at
Simon Thompson (S.J.Thompson@ukc.ac.uk).
John Derrick (J.Derrick@ukc.ac.uk).
Committee of the BCTCS
Alan Gibbons (Chairman, Warwick), Paul Dunne (Secretary, Liverpool),
Iain Stewart (Treasurer, Swansea), Julian Bradfield (Edinburgh),
Savita Chauhan (Ph.D student member, Swansea),
Mike Holcombe (Sheffield), John Stell (Keele),
Brian Stonebridge (Bristol), Simon Thompson (Kent),
Chris Tofts (Manchester).
---------------------- BCTCS12 Registration form ----------------------
Please specify the type of registration you wish to make (choose one):
EPSRC-supported Student Other Student Staff
Do you wish to stay in University accommodation or simply register for the
daytime, including lunches, tea and coffee and the conference dinner
on Wednesday evening? (Choose one)
Full residential accommodation Daytime facilities and conference dinner
Do you have any special dietary requirements? Please specify if so:
Would you like to stay in university accommodation for any additional
nights? If so, please give details.
If you would like to submit a 30 minute talk, please supply a title and
an abstract of no more than 150 words:
If you have any queries, please mail
Please send this form to
c/o Simon Thompson
University of Kent
CT2 7NF, Kent, UK