BCTCS'9 at York

[ze...@minster.york.ac.uk]

BRITISH COLLOQUIUM fOR THEORETICAL COMPUTER SCIENCE
( BCTCS 9 )

29-31 March 1993

The University of York
York, U.K.

CALL FOR PAPERS

The 9th Technical Meeting of the British Colloquium for Theoretical
Computer Science (BCTCS) will be held on 29-31 March 1993 at the
University of York.

The BCTCS is intended to be the main annual event in the U.K.
theoretical computer science calandar.
It is an informal forum covering all aspects of theoretical
computer science, and is an ideal place for the discussion of new
developments in the field: as such research students are particularly
encouraged to attend and, if appropriate, to present talks.

Original research contributions on any aspects of theoretical computer
science are invited. Talks may cover work currently in progress
provided that it is sufficiently advanced.
Topics include and NOT limited to:

Logic and Semantics of Programming Languages;
Mathematics of Computation;
Program Specification and Verification;
Theory of Concurrency; Formal Methods;
Abstract Data Types; Algorithms and Data Structures;
Artificial Intelligence; Automoata and Formal Languages,
Computational Complexity; Symbolic and Algebraic Computation;
Computer Systems Theory; Foundation of Logic Programming;
Term Rewriting; Theory of Parallel and Distributed Computation;
VLSI Structures; and Theory of Databses.

If you wish to present your work, please send an abstract/summary
together with your completed registration form to one of the local
organisers.

The scientific programme includes invited lectures by

(o) Jean-Marc Steyeart (Ecole Polytechnique, Paris)
(o) Michael Atkinson (St. Andrews University, UK)
(o) Bob Tennant (Queen's University, Ontario)
(o) Gordon Plotkin (Edinburgh University)
(o) John Lloyd (Bristol University)

Local Organisers:
Hussein Zedan and Alan Dix
Computer Science Dept.
YORK, YO1 5DD, UK
fax: +44 904 432767
email: {zedan,alan}@minster.york.ac.uk

----------------------------------------------------------------

REGISTRATION FORM

The British Colloquium for Theoretical Computer Science invites all those
interested in all aspects of theoretical computer science to attend its
9th Technical Meeting at the University of York.

The meeting will take place at the University campus in the Physics
Departement Lecture theaters and book exihbition in the physics
Concourse.
Accommodation and catering will be provided on campus in Wentworth College.

The meeting is planed to start at 9.00 am on Monday 29 March and and ends
at 3.00 pm on Wednesday 31 March. A Sherry Reception will be held on the
night of Sunday, 28 March from 8.00 pm in Wentworth at W/JCR.

To register, please apply using the form below and send it to

Local Organisers:
Hussein Zedan and Alan Dix
Computer Science Dept.
YORK, YO1 5DD, UK
fax: +44 904 432767
email: {zedan,alan}@minster.york.ac.uk

To guarantee accommodation all registrations must be received by
\fB15th March\fP. Note also, the early booking discount for registrations
before 15th February.

The registration fee includes all morning coffees, afternoon teas and
a copy of all abstracts, but not lunches.
Residential accommodation includes B&B for the nights of 28th to 30th March
inclusive; and all meals on 29th to 31st March excluding conference dinner.

The number of places at this meeting is limited to 100 and places will be
allocated in order of receipt of registration form.
Please complete a separate form for each delegate.

Students Standard

REGISTRATION:
Early booking (before 15 Feb.) 30 pounds [ ] 45 [ ]
Late booking 40 [ ] 60 [ ]

ACCOMMODATION:
Residential (exc. conf. dinner) 74 [ ] 119 [ ]
Conference dinner 15 [ ] 25 [ ]
Non-residential (lunches only): 15 [ ] 24 [ ]
or (including all dinners): 44 [ ] 69 [ ]

EXTRA NIGHT(s) at 20. Please specify:

Name_________________________________________

Organisation_________________________________

Address______________________________________

_____________________________________________

_____________________________________________

E-mail_______________________________

Tel______________________________

Cheque/draft payable to "The University of York" for _______

OR
Official order form: order number _________

Special dietary needs: please brecify details on a separate sheet ______

Arrival date____________ Departure Date____________

I will be travelling by AIR/TRAIN/CAR _________