British Colloquium for Theoretical Computer Science 1996 
Author Message
 British Colloquium for Theoretical Computer Science 1996

BCTCS 12

British Colloquium for Theoretical Computer Science

1-4 April 1996

University of Kent at Canterbury

     _________________________________________________________________

   BCTCS 12 will be held in Canterbury on 1-4 April 1996. Canterbury is
   an attractive cathedral city in the south east of England, which lies
   close to the English channel, as well as to orchards and rolling
   countryside. The meeting will be held at the University of Kent, with
   accommodation being provided in Darwin College, one of the four
   colleges of the university. Transport from London and the channel
   ports is available by train and bus. Amongst the invited speakers are

     * P. Aczel (University of Manchester)
     * G. Birtwistle (University of Leeds)
     * E. Brinksma (University of Twente, The Netherlands)
     * F. K. Hanna (University of Kent)
     * U. Martin (University of St Andrews)
     * D. Perrin (LITP, France)
     * J. Toran (Barcelona, Spain)
     * D. A. Turner (University of Kent)

   Support is being provided by EPSRC for EPSRC-supported PhD students.

   Research contributions will be 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.

   A call for papers will be issued shortly. The format of the meeting
   will provide half-hour slots for contributed talks. Participation and
   contributions from current PhD students are particularly welcome.

   Further details are available on the World Wide Web page:

    http://www.*-*-*.com/

  Local Organisers

   Simon Thompson, John Derrick
   Computing Laboratory, University of Kent




Mon, 13 Apr 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. British Colloquium for Theoretical Computer Science 1996

2. Book recommendations for theoretical computer science, algorithms, etc?

3. Computer Science vs Computer Technology

4. Computer Science vs Computer Technology

5. Computer Science vs Computer Technology

6. INFO-ADA Digest - 3 Dec 1996 to 4 Dec 1996 - Special issue

7. INFO-ADA Digest - 20 Nov 1996 to 21 Nov 1996

8. INFO-ADA Digest - 26 Sep 1996 to 27 Sep 1996 - Special issue

9. INFO-ADA Digest - 2 Aug 1996 to 4 Aug 1996 - Special issue

10. INFO-ADA Digest - 12 May 1996 to 13 May 1996 - Spe

11. INFO-CLS Digest - 13 Oct 1996 to 14 Oct 1996

 

 
Powered by phpBB® Forum Software