Warsztaty w poprzednich latach
Słupsk 2000
Lutowiska 2001
- Cezary Cieśliński Modele dla teorii mnogości
- Henryk Kotlarski Indukcja pozaskończona w arytmetyce
- Michał Krynicki Gry w logice
- Konrad Zdanowski Eliminacja kwantyfikatorów w arytmetyce
Załęcze Wielkie 2002
- Leszek Kołodziejczyk Kwantyfikatory Henkina, modele skończone, złożoność obliczeniowa
- Henryk Kotlarski Modele dla arytmetyki i szybko rosnące funkcje
- Michał Krynicki Interpretacja w logice
- Marcin Mostowski Otwarte problemy związane z kwantyfikatorami Henkina
- Jerzy Tyszkiewicz Złożoność komunikacyjna
- Konrad Zdanowski Automaty skończone a definiowalność w arytmetyce
Głodówka 2003
Sprawozdanie wraz z programem [PDF]
Elbląg 2004
Sprawozdanie wraz z programem [PDF]
Bukowina Tatrzańska 2005
- Zofia Adamowicz Historia logiki w ostatnim pięćdziesięcioleciu
- Wojciech Dzik Unifikacja w logice
- Leszek Kołodziejczyk Rozstrzygalność i nierozstrzygalność w logikach modalnych
- Henryk Kotlarski Własności podziałowe zbiorów skończonych
- Michał Krynicki Twierdzenie Keislera o pełności dla logiki z kwantyfikatorem istnieje nieprzeliczalnie wiele
- Marcin Mostowski Funkcje rekurencyjne
- Jerzy Tyszkiewicz Trzy wykłady o modelach w matematyce, choć niekoniecznie o teorii modeli
- Konrad Zdanowski Hierarchia funkcji rekurencyjnych
Kazimierz Dolny 2007
Oficjalna (archiwalna) strona warsztatów w Kazimierzu w 2007 r.