Please note that this is an updated version of the recent announcement.
CALL FOR ABSTRACTS: 16TH BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE
BCTCS 16, April 10-12 2000, Liverpool, UK
The 16th annual British Colloquium for Theoretical Computer
Science (BCTCS) will be hosted by the Department of Computer
Science, University of Liverpool between 10-12th April 2000.
Research contributions are sought on any area of theoretical computer science.
Topics include, but are not limited to: concurrency, types, semantics, formal
methods, computational complexity, algorithms, discrete mathematics, proof
theory and logic, artificial intelligence, theorem proving, symbolic
computation and experimental work.
Invited Speakers: (Preliminary)
o Leslie Valiant (Harvard)*
o Grzegorz Rozenberg (Leiden)*
o Xin Yao (Birmingham)*
o Klaus Weihrauch (FernUniversität)*
(*) Accepted invitation
A special issue of the Journal of Universal Computer Science will
be dedicated to papers presented at the Colloquium.
To submit, email a 200-250 word abstract to [log in to unmask] Please
include the full names of all authors and their institutions, and a contact
email address and telephone number. Presentation of a paper by one of the
authors (or a representative) at the Colloquium is pre-requisite for
consideration for the JUCS special issue (details of which will appear in
due course.)
As places are limited and demand is expected to be high, early registration
is *strongly* recommended. Details of registration arrangements will be
supplied in a later announcement.
Further Information:
The Colloquium will be held at the Swallow Hotel, an excellent conference
centre in the heart of Liverpool. All questions should be directed to
[log in to unmask]
Additional information may be found at the Colloquium web page:
http://www.csc.liv.ac.uk/~bctcs16
A Postscript version of this announcement, suitable for printing, is at
http://www.csc.liv.ac.uk/~bctcs16/call.ps
BCTCS Committee:
Paul E. Dunne (Liverpool)
Julian Bradfield (Edinburgh)
Chris Tofts (Leeds)
John Stell (Keele)
Martyn Amos (Liverpool)
Stephan Reiff (Glasgow)
Achim Jung (Birmingham)
Simon Thompson (Kent)
Mei Lin Hui (Leicester)
--
Dr Martyn Amos - [log in to unmask] - Liverpool Biocomputation Group,
http://www.csc.liv.ac.uk/~martyn/ ---- Department of Computer Science,
http://www.csc.liv.ac.uk/~biocomp ---- University of Liverpool, L69 7ZF, UK
******************** "Carp Diem" -- Fish of the day **************************
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|