Logic List Mailing Archive

British Logic Colloquium 2005: September 2005 (Bristol)

The 2005 Meeting of the British Logic Colloquium will take place in
Bristol, between the lunchtimes of Thursday Sep. 1st and Saturday Sep.
3rd.

http://www.maths.bris.ac.uk/research/pure/blc/blc.html

The following speakers have indicated their acceptance of invitations to
speak.

    * Dr. Arnold Beckmann, University of Wales, Swansea (Proof Theory,
      Computer Science)
    * Prof. Lev Beklemishev University of Utrecht & Steklov Institute
      (Proof Theory & Computer Science )
    * Prof. Alessandro Berarducci, Universit? da Pisa. (Model Theory)
    * Prof. Matthew Foreman, UCIrvine. (Set Theory )
    * Prof. Sy Friedman, Kurt Goedel Institute, Wien. (Set Theory )
    * Dr. Hannes Leitgeb, University of Salzburg (Philosophical Logic)
    * Dr. Andrew Lewis, University of Leeds. (Recursion Theory )
    * Dr. Alexander Paseau, University of Cambridge (Philosophical Logic)
    * Prof. Anand Pillay, University of Leeds (Model Theory)
    * Prof. Andrea Sorbi, Universit? degli Studi di Siena. (Recursion
      Theory )

The meeting is made possible through financial support by the London
Mathematical Society and the British Logic Colloquium.

The conference e-mail address is: blc-2005@bristol.ac.uk

(Following the meeting during Sep. 3rd - 5'th there will be a Set Theory
meeting on Bounded Forcing Axioms and Combinatorial aspects of Inner
Models. Please see the "B.I.G. Set Theory Meeting"  
<http://www.maths.bris.ac.uk/research/pure/blc/big.html> for more
information.)