British Logic Colloquium 2007

September 6-8, 2007

This year's meeting of the British Logic Colloquium will run from 2pm on Thursday September 6 to 1 pm on Saturday September 8.

The meeting will take place in De Morgan House, Hardy Room.

The organisers thank the London Mathematical Society and the British Logic Colloquium for funding the conference.

Organisers:

• Dr Robin Hirsch, UCL, email: R.Hirsch (at) cs.ucl.ac.uk
• Prof Michael Zakharyaschev, Birkbeck, email: michael (at) dcs.bbk.ac.uk

Invited speakers:

• Samson Abramsky (Oxford University)
  Geometry of Proofs
• Barry Cooper (Leeds University)
  Post's Programme and the Algorithmic Structure of Information: An Update (abstract)
• Anuj Dawar (Cambridge University)
  Preservation Theorems in Finite Model Theory (abstract)
• Rob Goldblatt (Victoria University, Wellington)
  An Admissible-Proposition Semantics for First-Order Modal Logic
• Volker Halbach (Oxford University)
  Axiomatizing Kripke's Theory of Truth
• Wilfrid Hodges (Queen Mary, London)
  Set-theoretic Definability of Constructions - Progress Report on a Disgracefully Old Problem (abstract)
• Ian Mackie (Ecole Polytechnique)
  Gödel's System T Revisited
• Moshe Vardi (Rice University, Houston)
  From Löwenheim to PSL (abstract)
• Frank Wolter (Liverpool University)
  Conservativity as a Decision Problem
• Boris Zilber (Oxford University)
  Zariski geometries as quantum deformations

Registration

Registration is now closed.

Timetable

Final timetable.

Contributed Talks

We invite contributed talks on any aspect of logic. Please send submissions to the organisers. Deadline: 31 July.

• Matthew Spinks
  On the Assertional Logics of the Generic Pointed Discriminator and Generic Pointed Fixedpoint Discriminator Varieties (abstract)
• Rajeev Goré and Jack Kelly (The Australian National University, Canberra, Australia)
  Automated Proof Search in Gödel-Löb Provability Logic (abstract)

Bursaries

There is a limited number of bursaries available for students who wish to attend. A bursary covers the conference fee and accommodation in London. Applications for bursaries should be accompanied by a CV, a letter of recommendation (normally from the student's supervisor) and will be allocated on the basis of proven ability in logic. Deadline: 31 July.

How to get to De Morgan House

Situated in the heart of London on Russell Square, De Morgan House has the advantage of being in close proximity to three mainline railway stations (Kings Cross, Euston, St Pancras) and two underground stations (Holborn, Russell Square).

De Morgan House
57-58 Russell Square
London
WC1B 4HS

A map showing the local train and tube stations.

Accommodation

Recommended hotels:

• Lancaster Hotel, 4-6 Bedford Place, London WC1B 5JD (map)
  tel: +44 207 637 3400
  fax: +44 207 436 8253
• Tavistock Hotel, Tavistock Square, London WC1H 9EU (map)
  tel: +44 20 7636 8383
• Avalon Hotel, 46-47 Cartwright Gardens, London WC1H 9EL (map)
  tel: +44 207 387 2366
  fax: +44 207 387 5810