HIFW01 
24th August 2015
10:00 to 11:00 
P Koepke 
101 Years of Modern Set Theory: Felix Hausdorff's "Foundations of Set Theory" 

HIFW01 
24th August 2015
11:30 to 12:30 
D Sinapova 
The tree property (session 1) 

HIFW01 
24th August 2015
13:30 to 14:00 
N Barton 
What is a forcing extension (of V)? 

HIFW01 
24th August 2015
13:30 to 14:00 
H Brickhill 
A generalisation of closed unbounded sets 

HIFW01 
24th August 2015
14:00 to 14:30 
A Blaszczyk 
Topological representation of lattice homomorphisms 

HIFW01 
24th August 2015
14:00 to 14:30 
C Antos 
Hyperclass Forcing in Morse Kelley Set Theory 

HIFW01 
24th August 2015
15:00 to 16:00 
A D Törnquist 
Around the definability of mad families 

HIFW01 
24th August 2015
16:00 to 17:00 
P Schlicht 
The Hurewicz dichotomy for generalized Baire spaces 

HIFW01 
25th August 2015
09:00 to 10:00 
P Koellner 
The Search for Deep Inconsistency 

HIFW01 
25th August 2015
10:00 to 11:00 
C A Di Prisco 
Local Ramsey Theory in abstract spaces 

HIFW01 
25th August 2015
11:30 to 12:30 
D Sinapova 
The tree property (session 2) 

HIFW01 
25th August 2015
13:30 to 14:00 
V Dimonte 
Generic I0 at $\aleph_\omega$ 

HIFW01 
25th August 2015
14:00 to 14:30 
H Horowitz 
Forcing, regularity properties and the axiom of choice 

HIFW01 
25th August 2015
14:00 to 14:30 
S Friedman 
Forcing failures of covering in HOD 

HIFW01 
25th August 2015
15:00 to 16:00 
M A Mota Gaytán 
Symmetries 

HIFW01 
25th August 2015
16:00 to 17:00 
P Holy 
Failures of the Forcing Theorem 

HIFW01 
26th August 2015
09:00 to 10:00 

Hausdorff Medal Award 

HIFW01 
26th August 2015
10:00 to 11:00 

Hausdorff Medal Lecture 

HIFW01 
26th August 2015
11:30 to 12:30 
D Sinapova 
The tree property (session 3) 

HIFW01 
26th August 2015
13:30 to 14:00 
D Ikegami 
Universally Baire subsets of $2^{\kappa}$ 

HIFW01 
26th August 2015
13:30 to 14:00 
Y Khomskii 
Cofinalities of Marczewski Ideals 

HIFW01 
26th August 2015
14:00 to 14:30 
YM Kimchi 
Partition Relation Equiconsistent with $\exists \kappa(o(\kappa) = \kappa^+)$ 

HIFW01 
26th August 2015
14:00 to 14:30 
M Korch 
On the class of perfectly null sets and its transitive version 

HIFW01 
27th August 2015
09:00 to 10:00 
A Kanamori 
Mathias and Set Theory 

HIFW01 
27th August 2015
10:00 to 11:00 
C Delhomme 
The relation of attack 

HIFW01 
27th August 2015
11:30 to 12:30 
L J Halbeisen 
Happy Families and Their Relatives 

HIFW01 
27th August 2015
13:30 to 14:00 
A Kwela 
Selective properties of ideals 

HIFW01 
27th August 2015
13:30 to 14:00 
A Pauly 
Connecting topological dimension theory and recursion theory 

HIFW01 
27th August 2015
14:00 to 14:30 
PM Lücke 
Chain conditions, layered partial orders and weak compactness 

HIFW01 
27th August 2015
15:00 to 16:00 
G Fuchs 
Prikry type sequences: a composition of interconnected results 

HIFW01 
27th August 2015
16:00 to 17:00 
JWR Cummings 
A superDowker filter 

HIFW01 
28th August 2015
09:00 to 10:00 
NL Dobrinen 
Infinite dimensional Ellentuck spaces 

HIFW01 
28th August 2015
10:00 to 11:00 
M Goldstern 
Ultrafilters without ppoint quotients 

HIFW01 
28th August 2015
11:30 to 12:30 
L Zdomskyy 
Delta_1definability of the nonstationary ideal 

HIFW01 
28th August 2015
13:30 to 14:00 
M Staniszewski 
On ideal equal convergence 

HIFW01 
28th August 2015
14:00 to 14:30 
Z Vidnyánszky 
The size of conjugacy classes of automorphism groups 

HIFW01 
28th August 2015
15:00 to 16:00 
Y Zhu 
The higher sharp 

HIFW01 
28th August 2015
16:00 to 17:00 
V Gitman 
Indestructible remarkable cardinals 

HIFW04 
1st September 2015
13:00 to 14:00 
R Bello Aguirre 
A look into generalised stability 

HIFW04 
1st September 2015
14:00 to 15:00 
O Akcelik 
In Pursuit of the Missing Premise in First Order Logic 

HIFW04 
1st September 2015
15:30 to 16:30 
E Dihoum 
Models of Intuitionistic ZermeloFrankel Set Theory based on Scott's $D_{\infty}$ 

HIFW04 
1st September 2015
16:30 to 17:30 
D Siniora 
Generic Automorphisms of a Hrushovski construction 

HIFW04 
2nd September 2015
10:00 to 11:00 
E Garcia Ramirez 
An application of Model Theory to Real Algebraic Geometry 

HIFW04 
2nd September 2015
11:30 to 12:30 
J Hedges 
Applying constructive analysis and topology in game theory 

HIFW04 
2nd September 2015
13:30 to 14:40 
A Blass 
Weak Partition Relations and Conservative Elementary Extensions 

HIFW04 
2nd September 2015
14:40 to 15:10 
A BrookeTaylor 
AEC tameness from large cardinals via category theory 

HIFW04 
2nd September 2015
14:40 to 15:10 
E Rivello 
Selfdetermined sets of sentences 

HIFW04 
2nd September 2015
15:10 to 15:40 
A Cevik 
A variant of $\Pi^0_1$ class 

HIFW04 
2nd September 2015
15:10 to 15:40 
S Uckelman 
Where are the women in medieval logic? 

HIFW04 
2nd September 2015
16:00 to 17:00 
A Kurucz 
Manydimensional Modal Logics 

HIFW04 
3rd September 2015
09:00 to 10:00 
A Kechris 
Descriptive Graph Combinatorics 

HIFW04 
3rd September 2015
10:00 to 11:00 
M Sadrzadeh 
A Multilinear Algebraic Semantics for Natural Language 

HIFW04 
3rd September 2015
11:20 to 12:20 
A Pauly 
Descriptive set theory, endofunctors & hypercomputation 

HIFW04 
3rd September 2015
13:30 to 14:30 
I PrattHartman 
Extending the Syllogistic 

HIFW04 
3rd September 2015
14:40 to 15:10 
R Bruni 
On a Generalization of the Revisiontheoretic Approach to Strategic Rationality 

HIFW04 
3rd September 2015
15:10 to 15:40 
D Hughes 
Firstorder Proofs Without Syntax 

HIFW04 
3rd September 2015
15:10 to 15:40 
T Weinert 
Partition Relation for linear Orders without the Axiom of Choice 

HIFW04 
3rd September 2015
15:40 to 16:00 

Coffee Break 

HIFW04 
3rd September 2015
16:00 to 17:00 
V Gitman 
Ehrenfeucht Principles in Set Theory 

HIFW04 
4th September 2015
09:00 to 10:00 
A Pitts 
Local Names 

HIFW04 
4th September 2015
10:10 to 10:40 
P Ehrlich 
Integration on the Surreals 

HIFW04 
4th September 2015
10:10 to 10:40 
R Lubarsky 
Feedback Computability 

HIFW04 
4th September 2015
10:40 to 11:10 
L Chew 
QBF proof complexity 

HIFW04 
4th September 2015
10:40 to 11:10 
J Gay 
Computably extendible order types 

HIFW04 
4th September 2015
11:30 to 12:30 
I Neeman 
Forcing with large continuum 

HIFW04 
4th September 2015
13:30 to 14:30 
J Kirby 
Constructing Quasiminimal Functions 

HIF 
8th September 2015
15:00 to 16:00 
T Inamdar 
Another proof of the failure of a higher forcing axiom 

HIF 
10th September 2015
15:00 to 16:00 
M Dzamonja 
On the width of wqos 

HIF 
15th September 2015
15:00 to 16:00 
R Lubarsky 
$\Sigma^0_3$ determinacy and friends 

HIF 
17th September 2015
15:00 to 16:00 
ARD Mathias 
Linking set theory to economics 

HIF 
29th September 2015
15:00 to 16:00 
A Block 
Modal logics of the generic multiverse 

HIF 
29th September 2015
16:00 to 17:00 
W Wohofsky 
Aspects of generalizing the concept of strong measure zero 

HIF 
1st October 2015
15:00 to 16:00 
ARD Mathias 
The Silence 

HIF 
5th October 2015
16:00 to 17:00 
H Woodin 
Beyond the infinite: Rothschild Distinguished Visiting Professor Lecture 

HIF 
6th October 2015
15:00 to 16:00 
M Kurilic 
Reversibility of Definable Relations 

HIF 
9th October 2015
12:30 to 13:25 
H Nobrega 
Computable analysis and games in descriptive set theory 

HIF 
9th October 2015
13:30 to 14:25 
J Carmesin 
MinMax theorems in infinite combinatorics 

HIF 
9th October 2015
14:40 to 15:35 
F Parente 
Saturated Boolean Ultrapowers 

HIF 
9th October 2015
15:50 to 16:45 
L Agarwal 
Uncountably many maximalclosed subgroups of Sym(N) via reducts of Henson digraphs 

HIF 
10th October 2015
11:00 to 11:55 
L Galeotti 
Weihrauch degrees for generalized Baire space 

HIF 
10th October 2015
13:00 to 13:55 
J Hilton 
Topological Ramsey theory of countable ordinals 

HIF 
10th October 2015
14:00 to 14:55 
P Kleppmann 
Free groups and the Axiom of Choice 

HIF 
22nd October 2015
15:30 to 16:30 
J Steprans 
Universal graphs and their variations 

HIF 
27th October 2015
15:00 to 16:00 
S Todorcevic 
Dual Ramsey theory on trees 

HIF 
27th October 2015
16:00 to 17:00 
M Elekes 
Order types of chains of Borel sets and Baire functions 

HIF 
28th October 2015
11:00 to 12:00 
N de Rancourt 
Ramsey Determinacy of adversarial Gowers games 

HIF 
29th October 2015
15:00 to 16:00 
J LopezAbad 
Approximate Ramsey properties of matrices and finite dimensional normed spaces 

HIF 
29th October 2015
16:00 to 17:00 
C Brech 
Consecutively large families below the first inaccessible cardinal 

HIF 
10th November 2015
15:00 to 16:00 
G Plebanek 
On two problems on Boolean algebras and finitely additive measures 

HIF 
17th November 2015
15:00 to 16:00 
S Fuchino 
Reflection numbers of some combinatorial and topological properties 

HIF 
19th November 2015
15:00 to 16:00 
J H Conway 
The surreal numbers 

HIF 
1st December 2015
15:00 to 16:00 
M Viale 
Forcing the truth of a weak form of Schanuel's conjecture 

HIF 
8th December 2015
15:00 to 16:00 
S Miller 
The nature of measurement in set theory 

HIF 
10th December 2015
15:00 to 16:00 
P Welch 
Some more on $G_\delta\sigma$ determinacy and generalized recursion 

HIFW03 
14th December 2015
10:00 to 11:00 
D Bartosova 
Ramsey theory in topological dynamics 

HIFW03 
14th December 2015
11:30 to 12:00 
V TorresPerez 
Strong Chang's Conjecture, SemiStationary Reflection, Strong Tree Property and Two Cardinal Square Principles 

HIFW03 
14th December 2015
13:30 to 14:30 
J LopezAbad 
Approximate Ramsey properties of Matrices 

HIFW03 
14th December 2015
15:00 to 15:30 
S Sanders 
The unreasonable effectiveness of Nonstandard Analysis 

HIFW03 
14th December 2015
16:00 to 17:00 
CJ Campbell Moore 
A revision theory for typefree probability 

HIFW03 
15th December 2015
10:00 to 11:00 
M Rathjen 
On relating strong type theories and set theories 

HIFW03 
15th December 2015
11:30 to 12:30 
J Rosický 
Inaccessible cardinals and accessible categories 

HIFW03 
15th December 2015
13:30 to 14:30 
I Juhasz 
The Pinning Down Number and Cardinal Arithmetic 

HIFW03 
15th December 2015
14:45 to 15:45 
J Larson 
Partition Relation Perspectives 

HIFW03 
15th December 2015
16:00 to 17:00 
M Magidor 
TBA 

HIFW03 
16th December 2015
10:00 to 11:00 
P Schnoebelen 
Wellquasiorderings for progam analysis and computational complextiy 

HIFW03 
16th December 2015
11:30 to 12:00 
J Wojciechowski 
Infinite Matroids and Pushdown Automata on Infinite Words 

HIFW03 
16th December 2015
12:00 to 12:30 
A Pauly 
Weihrauch degrees of determinacy 

HIFW03 
16th December 2015
13:30 to 14:30 
M Carl 
Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines 

HIFW03 
16th December 2015
15:00 to 16:00 
M Hrusak 
Long and short recursive constructionscardinal invariants and parametrized diamonds 

HIFW03 
17th December 2015
10:00 to 11:00 
O Finkel 
Set Theory and Automata Theory 

HIFW03 
17th December 2015
11:30 to 12:30 
B Lubarsky 
ContextDependent Deterministic Parallel Feedback Turing Computability 

HIFW03 
17th December 2015
13:30 to 14:30 
J Carmesin 
An Introduction to infinite matroids 

HIFW03 
17th December 2015
14:45 to 15:45 
N Bowler 
Determinacy in Infinite Matroids 

HIFW03 
17th December 2015
16:00 to 17:00 
I Leader 
Pairwise Sums in the Reals 

HIFW03 
18th December 2015
10:00 to 11:00 
B Miller 
Another proof of the JayneRogers theorem 

HIFW03 
18th December 2015
11:30 to 12:30 
A Marks 
Borel Matchings and equidecompositions 

HIFW03 
18th December 2015
13:30 to 14:30 
A BrookeTaylor 
Set theory and algebraic topology 
