Mikołaj Bojańczyk > Seminarium magisterskie „Logika i teoria obliczeń"


Seminarium magisterskie „Logika i teoria obliczeń"

Prowadzący: Damian Niwiński, Mikołaj Bojańczyk


Plan na semestr zimowy 2010

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"


Poprzednie semestry

Semestr letni 2009