As organiser for next years British Colloquium in Theoretical Computer
Science, I wish to advertise this to all Computer Science Departments in
the UK. I was advised by Paul Dunne (President of BCTCS) that this
committee is the best place to send an announcement to.
Should you require someone else in the department (who is member in
CPHCS) to send this, for example when you cannot accept submissions from
others, then please let me know and I will arrange for this. In this
case, it would aid me, if you could let me know a contact in the
department.
I do attach the colloquium announcement as both pdf and ps files as well
as a briefer textversion (part of this mail, not attached). I would like
this colloquium to be announced in Computer Science Departments, as the
participants "control" the quality of the event.
kind regards Stephan Reiff-Marganiec
--------------------------------------
ANNOUNCEMENT
BCTCS 17
The 17th annual British Colloquium for Theoretical Computer Science
(BCTCS) will be hosted by the Department of Computing Science ,
University of Glasgow between 9th and 12th April 2001.
Research Contributions are sought on any area of Theoretical Computer
Science. Topics include but are not limited to: concurrency, types,
semantics, formal methods, computational comlexity, algorithms, discrete
mathematics, proof theory, logic, artificial intelligence, theorem
proving, symbolic computation and experimental work. Further details of
the submission procedures will occur on the Colloquium web pages in due
course.
The prelimary list of invited speakers includes: Alexander Razborov,
Simon Peyton-Jones, Ursula Martin and Muffy Calder.
The Colloquium will be held at the Kelvin Conference Centre. All
inquiries should be directed to Stephan Reiff-Marganiec
([log in to unmask]).
Additional Information may be found at the Colloquium w eb page:
http://www.dcs.gla.ac.uk/bctcs17
Contact:
BCTCS17
Stephan Reiff-Marganiec
Dep. of Computing Science
University of Glasgow
8-17 Lilybank Gdns.
Glasgow G12 8RZ
UK
_________________________________________________
--
______________________________________________________________________________
Stephan Reiff-Marganiec e-mail: [log in to unmask]
Research Assistant / Student tel: + 44 141 339 8855 x 0048
Department of Computing Science fax: + 44 141 330 4913
University of Glasgow
8-17 Lilybank Gardens
GLASGOW G12 8RZ, U.K.
______________________________________________________________________________
|