| 9:30 - 10:00 | Registration |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 11:00 |
Van der Vlugt Topology and Cardinal Invariants on Singular Higher Baire |
| 11:00 - 12:00 |
Schlicht TBA |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 |
Hyttinen On GDST without the assumption κ^(<κ) = κ |
| 14:30 - 15:00 | Coffee break |
| 15:00 - 15:30 |
Chapman The λ-Borel hierarchy on κ^κ for λ ≠ κ |
| 15:30 | Day ends |
| 9:00 - 10:00 |
Velickovic TBA |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 11:00 |
Pitton Wadge classes in Generalized Descriptive Set Theory at the second level of the Borel hierarchy |
| 11:00 - 12:00 |
Fischer TBA |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 |
Magidor TBA |
| 14:30 - 15:00 | Coffee break |
| 15:00 - 15:30 |
Sun NS_{\omega_1} is not uB-\undertilde\Pi^1_1 |
| 15:30 | Day ends |
| 19:00 | Dinner |
| 9:00 - 9:30 |
Eskew Uniform ideals and higher independence |
| 9:30 - 10:00 |
Lupini Borel complexity theory as a bridge between higher-order notions in topology, algebra, and analysis |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 11:00 |
Sziraki Open hypergraphs, covering with closed sets and games |
| 11:00 - 12:00 |
Motto Ros TBA |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 |
Lücke Descriptive aspects of large cardinals beyond HOD |
| 14:30 - 15:00 | Coffee break |
| 15:00 - 15:30 |
Barrera On coding mice in GDST at singular cardinals of countable cofinality |
| 15:30 | Day ends |