BLC 2010

British Logic Colloquium 2010


School of Computer Science, Birmingham University, 2 - 4 September 2009

Lecture room 203, Haworth Building

Registration and Coffee take place in the Atrium of the School of Computer Science

Thursday, 2 September 2010

13:00-13:45  Registration

14:00-15:00  Ulrike Sattler (Manchester), invited talk:
Logics and Ontology Engineering (abstract)
15:00-16:00   Philip Welch (Bristol), invited talk:
Games and Structures on aleph_2 (abstract)

16:00-16:30  Coffee

16:30-17:30   Alexander Kurz (Leicester), invited talk:
Coalgebraic Logic: Stone Duality and Presentation of Functors (abstract)

Friday, 3 September 2010

09:30-10:30   Anton Setzer (Swansea), invited talk:
Extensions of inductive definition: indexed inductive, inductive-recursive and inductive-inductive definitions (abstract)

10:30-11:00  Coffee

11:00-12:00   Jamie Gabbay ( Edinburgh):
12:00-12:30   Takakao Nemoto ( Bern):
Infinite games in second order arithmetic and arithmetical transfinite recursion (abstract)
12:30-13:00   Frederick Forsberg ( Swansea):
Formalising inductive-inductive definitions (abstract)

13:00-14:00  Lunch

14:00-15:00   Colin Stirling ( Edinburgh), invited talk:
An introduction to deciding higher order matching (abstract)
15:00-16:00   Alex Wilkie ( Manchester), invited talk:
Some model theory for expansions of the complex field by holomorphic functions (abstract)

16:00-16:30  Coffee

16:30-17:30   Mirna Džamonja ( Norwich), invited talk:
A new kind of forcing axiom (abstract)

17:30-  Annual General Meeting

20:00-  Conference Dinner

Saturday, 4 September 2010

09:30-10:30   Jeffrey Ketland (Edinburgh), invited talk:
Primitive Identity and the Relativity of Discernibility.

10:30-11:00  Coffee

11:00-12:00   Luke Ong (Oxford), invited talk:
TBA (abstract)
12:00-12:30   Paul Levy (Birmingham):
Characteristic Formulae for Fixed-Point Semantics: A General Framework (abstract)
12:30-13:00   Michael Gabbay (King's College, London):
The proof theoretic foundations of logic, logicism, computation and computationalism (abstract)