## Monday, June 15

- 09:15-09:40
- Matteo Viale:
*Some questions on the models of MM***COFFEE BREAK**

- 10:05-10:55
- Lajos Soukup:
*On properties of families of sets* - 11:10-11:35
- Farmer Schlutzenberg:
*Homogeneously Suslin sets in mice with Woodin cardinals* - 11:45-12:10
- Radek Honzik:
*Large cardinals and the continuum function***LUNCH BREAK**

- 14:10-15:00
- John Krueger:
*The Weak Reflection Principle Versus the Reflection Principle* - 15:15-16:05
- Sakae Fuchino:
*Fodor-type reflection principle and its "mathematical" characterizations***COFFEE BREAK**

- 16:30-16:55
- Thomas Johnstone:
*Substituting Supercompactness by Strong Unfoldability* - 17:05-17:30
- Katherine Thompson:
*Nonexistence of universal models at the successors of singular strong limit cardinals*

## Tuesday, June 16

- 08:50-09:40
- Paul Larson:
*Universally measurable sets in generic extensions***COFFEE BREAK**

- 10:05-10:55
- Jörg Brendle:
*Cardinal invariants of analytic quotients* - 11:10-11:35
- Daisuke Ikegami:
*Real Blackwell Determinacy* - 11:45-12:10
- Dima Sinapova:
*Exploring Singular Cardinal Combinatorics***LUNCH BREAK**

- 14:10-15:00
- Arthur Apter:
*Indestructible strong compactness but not supercompactness* - 15:15-16:05
- David Aspero:
*A reflection principle compatible with the continuum large (1)***COFFEE BREAK**

- 16:30-16:55
- Miguel Angel Mota:
*A reflection principle with the continuum large (2)* - 17:05-17:30
- Victor Torres:
*Rado's Conjecture, Saturation of the nonstationary ideal on omega_1, and two cardinal diamonds*

## Wednesday, June 17

- 08:50-09:40
- Joel David Hamkins:
*General relations of the set-theoretic universe to its forcing extensions and grounds***COFFEE BREAK**

- 10:00-10:50
- Stephen Jackson:
*New partition results from AD* - 11:00-11:50
- Benedikt Löwe:
*Eventually Different Forcing at the Second Level of the Projective Hierarchy* - 12:15- approx 16:45
- Excursion and lunch at Mostalm

## Thursday, June 18

- 08:50-09:40
- Matt Foreman:
*Inner models for huge cardinals and Strong Chang's Conjecture***COFFEE BREAK**

- 10:05-10:55
- Tetsuya Ishiu:
*A precipitous club guessing ideal on omega_1* - 11:10-11:35
- Teruyuki Yorioka:
*CCC without random reals* - 11:45-12:10
- Assaf Rinot:
*Diamond on successors of singulars***LUNCH BREAK**

- 14:10-15:00
- Heike Mildenberger:
*Proper translation* - 15:15-16:05
- Janusz Pawlikowski:
*Playing with countable support iteration***COFFEE BREAK**

- 16:30-16:55
- Marcin Sabok:
*On forcing with sigma-ideals of closed sets* - 17:05-17:30
- Natasha Dobrinen:
*Tukey degrees of ultrafilters*

## Friday, June 19

- 08:50-09:40
- Ilijas Farah:
*Nonseparable UHF algebras***COFFEE BREAK**

- 10:05-10:55
- J. Donald Monk:
*Towers in Boolean algebras* - 11:10-11:35
- Bernhard Koenig:
*Different ways to produce non-special omega_2-Aronszajntrees* - 11:45-12:10
- Victoria Gitman:
*Ramsey-like cardinals***LUNCH BREAK**

- 14:10-15:00
- Ralf Schindler:
*Bounded forcing axioms and reflection* - 15:15-16:05
- Mack Stanley:
*The Largest Large Cardinal and the Inner Model Hypothesis***COFFEE BREAK**

- 16:30-16:55
- Philipp Schlicht:
*Thin equivalence relations in scaled pointclasses* - 17:05-17:30
- Vincenzo Dimonte:
*Non-proper elementary embeddings beyond L(V_{lambda+1})*

## Monday, June 22

- 09:00-09:50
- Alessandro Andretta:
*Some descriptive set theory related to the Lebesgue density theorem***COFFEE BREAK**

- 10:15-11:05
- Pandelis Dodos:
*Applications of Descriptive Set Theory in the Geometry of Banach spaces* - 11:20-12:10
- Jordi Lopez-Abad:
*Generic constructions of Banach spaces***LUNCH BREAK**

- 14:10-15:00
- Miroslav Zeleny:
*Games and sigma-porosity* - 15:15-16:05
- Riccardo Camerlo:
*Standard universal dendrites as small Polish structures***COFFEE BREAK**

- 16:30-17:20
- Michael Hrusak:
*Katetov order on Borel ideals*

## Tuesday, June 23

- 09:00-09:50
- Joan Bagaria:
*C^(n)-cardinals***COFFEE BREAK**

- 10:15-11:05
- Pandelis Dodos:
*Applications of Descriptive Set Theory in the Geometry of Banach spaces* - 11:20-12:10
- Julien Melleray:
*Metric structures and applications to the theory of topological groups***LUNCH BREAK**

- 14:10-15:00
- Luca Motto Ros:
*A universality property for analytic equivalence relations and quasi-orders* - 15:15-16:05
- Vladimir Kanovey:
*On definability of some counterexamples in descriptive set theory***COFFEE BREAK**

- 16:30-17:20
- Tamás Mátrai:
*Cofinal types of definable directed orders*

## Wednesday, June 24

- 09:00-09:50
- Norbert Sauer:
*On partitions of relational structures***COFFEE BREAK**

- 10:15-11:05
- Pandelis Dodos:
*Applications of Descriptive Set Theory in the Geometry of Banach spaces* - 11:20-12:10
- Lionel Nguyen Van The:
*Structural Ramsey theory and topological dynamics* - afternoon-evening
- Excursion and lunch at Lusthaus

## Thursday, June 25

- 09:00-09:50
- Valentin Ferenczi:
*Complexity of isomorphism between Banach spaces and inevitable list of Gowers***COFFEE BREAK**

- 10:15-11:05
- Su Gao:
*The Descriptive Complexity of Free Bernoulli Subflows* - 11:20-12:10
- Lionel Nguyen Van The:
*Structural Ramsey theory and topological dynamics***LUNCH BREAK**

- 14:10-15:00
- Samuel Coskey:
*On dimension and Borel reducibility* - 15:15-16:05
- Claude Laflamme:
*Partitions and Indivisibility Properties of Countable Dimensional Vector Spaces***COFFEE BREAK**

- 16:30-17:20
- Asger Törnquist:
*The lifting problem for the group of measure preserving transformations of the unit interval*

## Friday, June 26

- 09:00-09:50
- Matt Foreman:
*Models for Measure Preserving Transformations***COFFEE BREAK**

- 10:15-11:05
- Ben Miller:
*Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems.* - 11:20-12:10
- Lionel Nguyen Van The:
*Structural Ramsey theory and topological dynamics***LUNCH BREAK**

- 14:10-15:00
- Simon Thomas:
*Some Consequences of Martin's Conjecture* - 15:15-16:05
- Christian Rosendal:
*Infinite asymptotic games and an exact Ramsey principle for block sequences***COFFEE BREAK**

- 16:30-17:20
- Greg Hjorth:
*Yet another proof of Gaboriau-Popa*