Program warsztatów
- 28 VI (poniedziałek)
- 1700–1800OBIADOKOLACJA
- 1800–2000 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
- 29 VI (wtorek)
- 900–1000 ŚNIADANIE
- 1000–1200 Paweł Parys - Ewaluacja wyrażen rachunku mu – ograniczenia dolne i górne
- 1200–1400 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
- 1400–1600 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
- 1700–1800 OBIADOKOLACJA
- 1800–2000 Michał Skrzypczak - Topologia a logika - języki definiowalne w MSO+U
- 30 VI (środa)
- 900–1000 ŚNIADANIE
- 1000–1200 Paweł Parys - Ewaluacja wyrażen rachunku mu – ograniczenia dolne i górne
- 1200–1400 Adam Trybus - Logiki przestrzeni
- 1400–1600 Zenon Sadowski - O pojeciu syntaktycznej klasy zlozonosci obliczeniowej
- 1700–1800 OBIADOKOLACJA
- 1800–2000 CZAS WOLNY
- 1 VII (czwartek)
- 900–1000 ŚNIADANIE
- 1000–1800 CZAS WOLNY - MOŻLIWA WYCIECZKA - DO USTALENIA
- 2 VII (piątek)
- 900–1000 ŚNIADANIE
- 1000–1200 Michał Krynicki - Kwantyfikatory rozgałęzione
- 1200–1400 Marek Czarnecki - Osiąganie punktów stałych w rachunku mu
- 1400–1600 Cezary Cieśliński - Arytmetyki z predykatem prawdy
- 1700–1800 OBIADOKOLACJA
- 1800–2000 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
- 3 VII (sobota)
- 900–1000 ŚNIADANIE
- 1000–1200 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
- 1200–1400 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
- 1400–1600 Cezary Cieśliński - Arytmetyki z predykatem prawdy
- 1730–1800 OBIADOKOLACJA
- 1800–2000 Damian Niwiński - Rachunek mu
- 4 VII (niedziela)
- 900–1000 ŚNIADANIE
- 1000–1200 Marcin Mostowski - TBA
- Cezary Cieśliński, Arytmetyki z predykatem prawdy,
- Marek Czarnecki, Osiąganie punktów stałych w rachunku mu,
- Leszek Kołodziejczyk, Logiki dla P i optymalne systemy dowodowe dla rachunku zdań,
- Michał Krynicki, Kwantyfikatory rozgałęzione,
- Marcin Mostowski, TBA,
- Filip Murlak, Logika w bazach danych: więzy i wymiana danych,
- Damian Niwiński, Rachunek mu,
- Paweł Parys, Ewaluacja wyrażen rachunku mu - ograniczenia dolne i górne,
- Adam Trybus, Logiki przestrzeni,
- Zenon Sadowski, O pojeciu syntaktycznej klasy zlozonosci obliczeniowej,
- Michał Skrzypczak, Topologia a logika - języki definiowalne w MSO+U