Tematyka: podstawy matematyki (szeroko rozumiane).
Program warsztatów (wstępny):
- Zofia Adamowicz - Różne rodzaje predykatów niesprzeczoności w słabych arytmetykach.
- Cezary Cieśliński - Paradoks Yablo i jego rekonstrukcje w arytmetyce.
- Marek Czarnecki - Logika modalna dla predykatu prawdy w modelach skończonych.
- Michał Godziszewski - TBA.
- Joanna Golińska-Pilarek - Algebry relacyjne.
- Dariusz Kalociński - TBA.
- Marcin Mostowski - Finitystyczne podstawy matematyki.
- Michał Przybyłek - O systemach logicznych.
- Paula Quinon - Twierdzenie Fregego.
- Konrad Zdanowski - O notacjach dla liczb naturalnych.