CALL FOR ABSTRACTS: BCTCS16

M.Amos@csc.liv.ac.uk (Martyn Amos)
15 Jan 2000 14:37:37 -0500

          From comp.compilers

Related articles
CALL FOR ABSTRACTS: BCTCS16 M.Amos@csc.liv.ac.uk (2000-01-15)
| List of all articles for this month |

From: M.Amos@csc.liv.ac.uk (Martyn Amos)
Newsgroups: comp.compilers
Date: 15 Jan 2000 14:37:37 -0500
Organization: Computer Science, University of Liverpool, UK
Keywords: CFP, theory

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)


Post a followup to this message

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