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.
A special issue of the Journal of Universal Computer Science will
be dedicated to papers presented at the Colloquium. Further
details of the submission procedure will appear on the Colloquium web
pages in due course.
Invited Speakers: (Preliminary)
o Leslie Valiant (Harvard)*
o Grzegorz Rozenberg (Leiden)*
o Xin Yao (Birmingham)*
o Klaus Weihrauch (FernUniversität)*
(*) Accepted invitation
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/prelim.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 **************************
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|