BLC 2007 timetable
Registration and all lectures are in De Morgan House, Hardy Room.
Thursday 6 September
- 12:30 - 14:00
- Registration
- 14:20 - 14:30
- Welcome
- 14:30 - 15:30
- Wilfrid Hodges Set-theoretic Definability of Constructions - Progress Report on a Disgracefully Old Problem
- 15:30 - 16:00
- Matthew Spinks On the Assertional Logics of the Generic Pointed Discriminator and Generic Pointed Fixedpoint Discriminator Varieties (contributed paper)
- 16:00 - 16:30
- Tea
- 16:30 - 17:30
- Moshe Vardi From Löwenheim to PSL
Friday 7 September
- 9:30 - 10:30
- Barry Cooper Post's Programme and the Algorithmic Structure of Information: An Update
- 10:30 - 11:00
- Coffee
- 11:00 - 12:00
- Volker Halbach Axiomatizing Kripke's Theory of Truth
- 12:00 - 13:00
- Lunch
- 13:00 - 14:00
- Rob Goldblatt An Admissible-Proposition Semantics for First-Order Modal Logic
- 14:00 - 15:00
- Frank Wolter Conservativity as a Decision Problem
- 15:00 - 15:30
- Coffee
- 15:30 - 16:30
- Samson Abramsky Geometry of Proofs
- 16:30 - 17:30
- Ian Mackie Gödel's System T Revisited
- 18:00 - 19:00
- BLC Annual General Meeting (Room 121 at Birkbeck, Senate House North Block, Malet Street, London WC1E 7HX, map)
- 19:30
- Conference Dinner (Trattoria Verdi, 110 Southampton Row, London WC1B 4BL, map)
Saturday 8 September
- 9:30 - 10:30
- Boris Zilber Zariski geometries as quantum deformations
- 10:30 - 11:00
- Coffee
- 11:00 - 11:30
- Rajeev Goré and Jack Kelly Automated Proof Search in Gödel-Löb Provability Logic (contributed paper)
- 11:30 - 12:30
- Anuj Dawar Preservation Theorems in Finite Model Theory