Mikołaj Bojańczyk > Seminarium magisterskie „Logika i teoria obliczeń"
Prowadzący: Damian Niwiński, Mikołaj Bojańczyk
14 października. Krzysztof Kąs „Dopełnianie wyrażeń regularnych"
21,28 października. Dominika Pawlik „Dookoła star height"
4 listopada. Adam Witkowski „Automaty probabilistyczne"
18 listopada. Maciej Zdanowicz „Kolejki z błędami wstawiania"
25 listopada. Michał Pilipczuk „Problem zawierania dla wyrażeń regularnych"
2,9 grudnia. Karolina Sołtys „Dookoła P=NP"
16 grudnia. Michał Gołębiowski „Alternacja"
6,13 stycznia. Michał Kotowski „Grupy automatyczne"
20 stycznia. Marcin Przybyłko „Gry opisujące przepływ sieciach"
?. Oskar Skibski „XPath"
? „Selektory w drzewach nieskończonych"