From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1070 Path: news.gmane.org!not-for-mail From: "John G. Stell" Newsgroups: gmane.science.mathematics.categories Subject: BCTCS 15 Date: Sat, 13 Mar 1999 12:19:17 +0000 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Type: text X-Trace: ger.gmane.org 1241017544 29354 80.91.229.2 (29 Apr 2009 15:05:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:05:44 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Sat Mar 13 11:23:57 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA26225 for categories-list; Sat, 13 Mar 1999 10:28:58 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 78 Xref: news.gmane.org gmane.science.mathematics.categories:1070 Archived-At: SECOND CALL FOR CONTRIBUTIONS AND PARTICIPATION 15th British Colloquium for Theoretical Computer Science (BCTCS 15) 14th - 16th April 1999 at Keele University Supported by EPSRC and the London Mathematical Society ___________________________________________________________________________ ** FREE places for EPSRC funded students are still available ** Special REDUCED RATE for other students ** Further CONTRIBUTED TALKS on any relevant topic are still needed ** Register before 23rd MARCH to avoid late registration charge ** INVITED SPEAKERS: Wan Fokkink (Swansea) Martin Hofmann (Edinburgh) Bill McColl (Oxford) Ian Pratt (Manchester) David Pym (QMW, London) Glynn Winskel (Aarhus) Mike Worboys (Keele) ___________________________________________________________________________ CONTRIBUTED TALKS Contributions are sought on any aspect of theoretical computer science. Research areas within the scope of BCTCS include, but are not limited to, the following list: Concurrency, types, semantics, formal methods, computational complexity, algorithms, discrete mathematics, proof theory and logic, artificial intelligence, database theory, theorem proving, symbolic computation and experimental work. This year for the first time, authors will have the OPTION to submit papers based on their talks to a special issue of the Journal of Universal Computer Science. However, the meeting will retain its informal character, and it is still possible for researchers to give a presentation at the meeting but not have their paper considered for publication. Details of the submission of papers for the special issue can be found on the BCTCS 15 web page. ___________________________________________________________________________ SUPPORT FOR POSTGRADUATE STUDENTS A limited number of fully funded places are available to postgraduate students who are supported by EPSRC. For other students there is a SPECIAL REDUCED RATE for the meeting, and some additional financial support may be available in special cases. ___________________________________________________________________________ FURTHER DETAILS Further details, including registration forms, prices, and forms for submission of contributed talks, are available from the BCTCS15 web page: http://www.keele.ac.uk/depts/cs/Announcements/bctcs/ The web page has a list of contributed talks offered so far for BCTCS 15. The web page also has links to previous BCTCS meetings, which provide a useful guide to the wide range of topics which have been covered by past contributions. BCTCS15 is organized by John Stell, who can be contacted by email: john@cs.keele.ac.uk or at: Department of Computer Science, Keele University, Keele, Staffs, U. K., ST5 5BG. ___________________________________________________________________________