BCTCS 2004: Call for Participation

From: Carron Shankland (ces_at_cs.stir.ac.uk)
Date: 02/13/04

  • Next message: Stephen Harris: "Re: Church-Turing compared to Zuse-Fredkin thesis (two new papers)" 
    Date: Fri, 13 Feb 2004 12:39:34 +0000

    [Please help us to advertise BCTCS by forwarding this announcement to
    colleagues]

    Call for Participation
    20th British Colloquium for Theoretical Computer Science
    BCTCS 2004
    April 5 - 8 2004, Fishers Hotel, Pitlochry, Scotland
    Organised by the University of Stirling

    The 20th annual British Colloquium for Theoretical Computer Science
    (BCTCS) will be hosted by the Department of Computing Science,
    University of Stirling between 5th and 8th April 2004.

    Invited Speakers:
      Luca Cardelli
      Sharon Curtis
      Jose Fiadeiro
      Rob Irving
      Kenneth Turner

    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, logic, artificial intelligence,
    theorem proving, symbolic computation and experimental work. Further
    details of the submission procedures may be found on the Colloquium web
    pages.

    The Colloquium will be held at Fishers Hotel in Pitlochry. Pitlochry is
    a charming Victorian Town in highland Perthshire, with good rail and
    road links to Edinburgh, Glasgow and beyond. All enquiries should be
    directed to bctcs@cs.stir.ac.uk.

    Additional Information and an online registration form can be found at
    the Colloquium web page: http://www.cs.stir.ac.uk/conferences

    Organisers:
    Stephan Reiff-Marganiec (University of Leicester)
    Carron Shankland (University of Stirling)

    Contact:
    BCTCS 2004
    Computing Science & Maths
    University of Stirling
    Stirling FK9 4LA
    UK
    Phone: (+44) 01786 467421
    Fax: (+44) 01786 464551
    Email: bctcs@cs.stir.ac.uk

  • Next message: Stephen Harris: "Re: Church-Turing compared to Zuse-Fredkin thesis (two new papers)"

    Relevant Pages

    • PhD positions in Logic and theoretic CS
      ... PhD Positions in Logic and Theoretical Computer Science Queen Mary, ... We are inviting applications for PhD positions starting in September ... reducing the fee-level to the level of that of home students. ...
      (sci.math)
    • PhD positions in Logic and Theoretical CS
      ... PhD Positions in Logic and Theoretical Computer Science Queen Mary, ... We are inviting applications for PhD positions starting in September ... reducing the fee-level to the level of that of home students. ...
      (sci.logic)
    • PhD positions in Logic and Theoretical CS
      ... PhD Positions in Logic and Theoretical Computer Science Queen Mary, ... We are inviting applications for PhD positions starting in September ... students there are also several grants available to cover overseas ...
      (sci.stat.math)
    • PhD positions in Logic and Theoretical CS
      ... PhD Positions in Logic and Theoretical Computer Science Queen Mary, ... We are inviting applications for PhD positions starting in September ... students there are also several grants available to cover overseas ...
      (sci.physics)
    • CFP: Chicago Colloquium on Digital Humanities and Computer Science
      ... Chicago Colloquium on Digital Humanities and Computer Science. ... Laboratory and Professor of Computer Science, ...
      (comp.ai)