Atlas home || Conferences | Abstracts | about Atlas

The 16th annual British Colloquium for Theoretical Computer Science (BCTCS)

April 10-12, 2000

Liverpool, United Kingdom

Mathematics

Host: Swallow Hotel
Sponsor: University of Liverpool
Homepage: http://www.csc.liv.ac.uk/~bctcs16/
Email: bctcs16@csc.liv.ac.uk

Organizers: Martyn Amos

Description:
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.

Speakers: Leslie Valiant (Harvard), Grzegorz Rozenberg (Leiden), Klaus Weihrauch (Hagen), Xin Yao (Birmingham)

Mail Address:

BCTCS 16
c/o Dr Martyn Amos
Department of Computer Science
University of Liverpool
Peach Street
Liverpool L69 7ZF
UK

Date received: November 25, 1999

© 2008 Atlas Conferences Inc.