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 R Bello Aguirre (University of Leeds)
A look into generalised stability
INI 1
14:00 to 15:00 O Akcelik (Middle East Technical University)
In Pursuit of the Missing Premise in First Order Logic
INI 1
15:00 to 15:30 Coffee Break
15:30 to 16:30 E Dihoum (University of Leeds)
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 E Garcia Ramirez (University of Leeds)
An application of Model Theory to Real Algebraic Geometry
INI 1
11:00 to 11:30 Coffee Break
11:30 to 12:30 J Hedges ([Queen Mary University of London])
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 A Brooke-Taylor (University of Bristol)
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 S Uckelman (Durham University)
Where are the women in medieval logic?
INI 2
15:10 to 15:40 A Cevik (University of Leeds)
A variant of $\Pi^0_1$ class
INI 1
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 A Kechris (CALTECH (California Institute of Technology))
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 A Pauly (University of Cambridge)
Descriptive set theory, endofunctors & hypercomputation
INI 1
12:20 to 13:30 Lunch
13:30 to 14:30 I Pratt-Hartman (University of Manchester)
Extending the Syllogistic
INI 1
14:40 to 15:10 R Bruni (Università degli Studi di Firenze)
On a Generalization of the Revision-theoretic Approach to Strategic Rationality
INI 1
15:10 to 15:40 D Hughes (Stanford University)
First-order Proofs Without Syntax
INI 1
15:10 to 15:40 T Weinert (Hebrew University of Jerusalem)
Partition Relation for linear Orders without the Axiom of Choice
INI 2
15:40 to 16:00 Coffee Break
16:00 to 17:00 V Gitman (City University of New York)
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 A Pitts (University of Cambridge)
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 L Chew (University of Leeds)
QBF proof complexity
INI 1
10:40 to 11:10 J Gay (University of Leeds)
Computably extendible order types
INI 2
11:10 to 11:30 Coffee Break
11:30 to 12:30 I Neeman (University of California, Los Angeles)
Forcing with large continuum
INI 1
12:30 to 13:30 Lunch
13:30 to 14:30 J Kirby (University of East Anglia)
Constructing Quasiminimal Functions
INI 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons