Mikołaj Bojańczyk > Seminarium magisterskie „Logika i teoria obliczeń"
Prowadzący: Damian Niwiński, Mikołaj Bojańczyk
24 lutego. Oskar Skibski „XPath”
3 marca. Michał Skrzypczak „Automaty z kolorowaniem”
10 marca. Krzysztof Kąs „Teoria skończonych modeli”
17 marca. Krzysztof Kąs „Teoria skończonych modeli”
24 marca. Piotr Achinger „Za pomocą MSO, nie można drzewa zinterpretować w słowie”
31 marca. Piotr Achinger „Za pomocą MSO, nie można drzewa zinterpretować w słowie”
7 kwietnia. Wielkanoc
14 kwietnia. Paweł Pasteczka „”
21 kwietnia. Adam Witkowski „Logika pierwszego rzędu dla drzew”
28 kwietnia. Adam Witkowski „Logika pierwszego rzędu dla drzew”
5 maja. Marek Czarnecki „Konstruktywne formuły modalnego mi-rachunku”
12 maja.Maciej Zdanowicz „Dookoła star height”
19 maja.Marcin Przybyłko „Dowody interakcyjne”
26 maja.
2 czerwca