British Colloquium for Theoretical Computer Science

[------ 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.

Invited speakers

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

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

Local Organisers

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 ----------------------

Your name:

Your email:

Your address:

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
   Computing Laboratory
   University of Kent
   CT2 7NF, Kent, UK