skip to content
 

Timetable (HIFW04)

British Logic Colloquium 2015

Wednesday 2nd September 2015 to Friday 4th September 2015

Tuesday 1st September 2015
13:00 to 14:00 A look into generalised stability INI 1
14:00 to 15:00 In Pursuit of the Missing Premise in First Order Logic INI 1
15:00 to 15:30 Coffee Break
15:30 to 16:30 Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$ INI 1
16:30 to 17:30 D Siniora (University of Leeds)
Generic Automorphisms of a Hrushovski construction
INI 1
Wednesday 2nd September 2015
10:00 to 11:00 An application of Model Theory to Real Algebraic Geometry INI 1
11:00 to 11:30 Coffee Break
11:30 to 12:30 Applying constructive analysis and topology in game theory INI 1
13:30 to 14:40 A Blass (University of Michigan)
Weak Partition Relations and Conservative Elementary Extensions
INI 1
14:40 to 15:10 AEC tameness from large cardinals via category theory INI 1
14:40 to 15:10 E Rivello (Università degli Studi di Torino)
Self-determined sets of sentences
INI 2
15:10 to 15:40 A variant of $\Pi^0_1$ class INI 1
15:10 to 15:40 S Uckelman (Durham University)
Where are the women in medieval logic?
INI 2
15:40 to 16:00 Coffee Break
16:00 to 17:00 A Kurucz (King's College London)
Many-dimensional Modal Logics
INI 1
17:00 to 18:00 Drinks Reception
Thursday 3rd September 2015
09:00 to 10:00 Descriptive Graph Combinatorics INI 1
10:00 to 11:00 M Sadrzadeh ([Queen Mary University of London])
A Multilinear Algebraic Semantics for Natural Language
INI 1
11:00 to 11:20 Coffee Break
11:20 to 12:20 Descriptive set theory, endofunctors & hypercomputation INI 1
12:20 to 13:30 Lunch
13:30 to 14:30 Extending the Syllogistic INI 1
14:40 to 15:10 On a Generalization of the Revision-theoretic Approach to Strategic Rationality INI 1
15:10 to 15:40 First-order Proofs Without Syntax INI 1
15:10 to 15:40 Partition Relation for linear Orders without the Axiom of Choice INI 2
15:40 to 16:00 Coffee Break
16:00 to 17:00 Ehrenfeucht Principles in Set Theory INI 1
17:15 to 18:15 BLC General Meeting INI 1
19:00 to 19:30 Dinner at Robinson College
Friday 4th September 2015
09:00 to 10:00 Local Names INI 1
10:10 to 10:40 P Ehrlich (Ohio University)
Integration on the Surreals
INI 1
10:10 to 10:40 R Lubarsky (Florida Atlantic University)
Feedback Computability
INI 2
10:40 to 11:10 QBF proof complexity INI 1
10:40 to 11:10 Computably extendible order types INI 2
11:10 to 11:30 Coffee Break
11:30 to 12:30 Forcing with large continuum INI 1
12:30 to 13:30 Lunch
13:30 to 14:30 Constructing Quasiminimal Functions INI 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons