The meeting will take place in Halifax Hall a former steel baron's mansion which has been extensively refurbished to provide high grade accommodation. It is located in Broomhill a leafy suburb of Sheffield about 10 minutes walk from the main University campus and 20 minutes from the city centre. The pleasant surroundings were once described by John Betjeman as being the "prettiest suburb in England".
Accommodation and meals will be available from Sunday evening (March 23rd.). The meeting will commence on Monday 24th. March at 9.00.
The invited speakers are
The cost of attendance, including three nights accommodation, all meals and the conference dinner, will be £200 (sterling) for standard single rooms with shared facilities and £225 for rooms with en-suite accommodation. For those making other arrangements for overnight accommodation, the rate will be £115.
The price includes free membership of the European Association for Theoretical Computer Science for one year.
Full support is being provided by EPSRC for up to 30 EPSRC-supported PhD students. Supported places will be allocated on a first-come, first-served basis, with priority given to students presenting talks. The support includes all accommodation and registration costs and membership of EATCS but not travel expenses.
Research contributions are sought on any area of theoretical computer science. Topics include, but are not limited to: Theory of Concurrency, Formal Methods, Computational Complexity, Finite Model Theory, Program Specification and Verification, Abstract Data Types, Proof Theory and Logic, Theory of Programming, Hardware Verification, Automata and Formal Languages, Artificial Intelligence, Symbolic Computation, Term Rewriting, Applications of Formal Methods, Case Studies.
Contributions on the educational issues of teaching theoretical computer science are also welcome.
Abstracts of papers (not to exceed 250 words) should be submitted to the local organisers either by post or e-mail by March 15th.
The annual meeting of the Colloquium will also take place during the meeting. Among the business items to be discussed will be a proposed draft constitution for BCTCS. This is now available.
Sponsored by: EPSRC, Praxis, Logica, ICL.
The meeting will start at 9 o'clock on Monday 24th March 1997 and continue through
until lunch on Wednesday 26th March. There will be food available on the evening
of Sunday 23rd March, as well as accommodation for that night.
Details of how to travel to Sheffield can be found on the University of Sheffield's web pages - see below.
The 1996 meeting BCTCS12: abstracts and other information.