CALL FOR ABSTRACTS: BCTCS16

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 bctcs16@csc.liv.ac.uk. 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


bctcs16@csc.liv.ac.uk


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)

Return to the comp.compilers page.
Search the comp.compilers archives again.