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
British Logic Colloquium
Roman Kontchakov, last changed