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

### Thursday, 1 August 2019

10:00 11:00 | Victoria Gitman (City University of New York): “Toy multiverses of set theory” |

11:00 11:15 | Break |

11:15 12:00 | Michał Godziszewski (University of Warsaw): “Axiomatic theories of truth over set theory, robust realism, and the multiverse” |

12:00 13:00 | Lunch |

13:00 13:45 | Henning Heller (University of Vienna): “Mathematical foundations and (meta-)mathematical language” |

13:50 14:35 | Rupert McCallum (University of Tübingen): “On the extent of intrinsic justifications for large cardinal axioms in set theory” |