|
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): |
| | | | TBA
|
| 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)
|