All presentations will take place in Building V, Room 1001 (Senatssaal).

### Monday, 29 July 2019

09:30 10:00 | Registration and welcome |

10:00 11:00 | Leon Horsten (University of Bristol): “Boolean-valued sets as arbitrary objects” |

11:00 11:15 | Break |

11:15 12:00 | Chris Scambler (New York University): “Can all things be counted?” |

12:05 12:50 | Roland Bolz (Humboldt Universität Berlin): “Concepts and analogy-making in set-theoretic and category-theoretic foundations of mathematics” |

12:50 14:00 | Lunch |

14:00 14:45 | Christopher Menzel (Texas A&M University) & Guillermo Badia (University of Queensland): “Modal set theory and potential hierarchies” |

14:50 15:50 | Karl-Georg Niebergall (Humboldt Universität Berlin): “Incomparable extensions of ZF” |

15:50 16:15 | Break |

16:15 17:15 | Juliette Kennedy (University of Helsinki): “On Invariance in foundational practice” |

### Tuesday, 30 July 2019

10:00 11:00 | Mirna Džamonja (University of East Anglia): “Is set theory pure or applied mathematics? On the ontological power of set theory and its limits” |

11:00 11:15 | Break |

11:15 12:15 | Marianna Antonutti Marfori (Ludwig Maximilian University Munich): “A Predicativisit Perspective on Definable Sets of Reals” |

12:15 13:30 | Lunch |

13:30 14:15 | Mangesh Patwardhan (National Insurance Academy Pune): “Cantor’s Paradise on Skolem’s Earth” |

14:20 15:05 | Monroe Eskew (University of Vienna): “Categories of amenable embeddings and what canonicity in set theory cannot be” |

15:05 15:30 | Break |

15:30 16:00 | Deborah Kant (Universität Konstanz): “How does a qualitative interview study inform the philosophy of set theory?” |

16:00 16:30 | Carolin Antos (University of Konstanz) & Daniel Kuby (University of Konstanz): “An inconsistent multiverse?” |

16:30 17:30 | Godehard Link (Ludwig Maximilian University Munich): “Set-theoretic Truth” |

19:30 | Conference Dinner (Constanzer Wirtshaus) |

### Wednesday, 31 July 2019

10:00 11:00 | Toby Meadows (UC Irvine): “Iterability and generalised proof theory” |

11:00 11:15 | Break |

11:15 12:00 | Matteo de Ceglie (University of Salzburg) & Claudio Ternullo (KGRC, Vienna): “The V-logic multiverse” |

12:05 12:50 | Douglas Blue (Harvard University): “The generic multiverse is not going away” |

12:50 14:00 | Lunch |

14:00 14:45 | Thomas Tulinski (École Normale Supérieure de Lyon): “The singularity of forcing” |

14:50 15:35 | Giorgio Venturi (Univesidade Estadual de Campinas): “A semantic approach to independence” |

15:35 16:00 | Break |

16:00 17:00 | Joan Bagaria (University of Barcelona): “Philosophical implications of some recent breakthroughs in set theory” |