Referaty w semestrze letnim 18/19


Temat referatu Osoba referująca Termin
propozycje tematów prac magisterskich L. Clemente, W. Czerwiński, E. Kopczyński, P. Parys 6 III 2019
Problem izomorfizmu grafów stopnia co najwyżej 3 Aleksandra Mędrek 13 III 2019
Problem izomorfizmu grafów stopnia co najwyżej 3 (c.d.) Aleksandra Mędrek 20 III 2019
Automaty ważone Jakub Kuklis 27 III 2019
Automaty ważone (c.d.) Jakub Kuklis 3 IV 2019
Dowody naturalne (pocz.) Robert Jasiński 3 IV 2019
Dowody naturalne (c.d.) Robert Jasiński 10 IV 2019
O pracy mgr. Albert Gutowski 17 IV 2019
Stratne maszyny licznikowe Ryszard Poklewski-Koziełł 24 IV 2019
Minimalizacja automatów niedeterministycznych Szymon Pajzert 8 V 2019
Złożoność osiągalności w sieciach Petriego Agata Dubiak 15 V 2019
Złożoność osiągalności w sieciach Petriego (c.d.) Agata Dubiak 22 V 2019
Regularna separowalność Adam Jędrych 29 V 2019
Gry parzystości a rezolucja Jakub Bujak 5 VI 2019
Złożoność Kołmogorowa a kompresowalność Adam Izdebski 12 VI 2019

Referaty w semestrze zimowym 18/19


Temat referatu Osoba referująca Termin
O pracy licencjackiej Robert Jasiński 10 X 2018
O problemie separacji słów Jakub Staroń 17 X 2018
O problemie separacji słów (kontynuacja) Jakub Staroń 24 X 2018
Automaty rejestrowe a półgrupy Rafał Stefański 31 X 2018
Wprowadzenie do sieci Petriego Jacek Karwowski 7 XI 2018
Nowy algorytm dla gier parzystości Ryszard Poklewski-Koziełł 14 XI 2018
Entropia automatów Jakub Kuklis 21 XI 2018
Klasy złożoności obliczeniowej a dowody w arytmetyce ograniczonej Albert Gutowski 28 XI 2018
Złożoność komunikacyjna Szymon Pajzert 5 XII 2018
Algorytm Shora Adam Jędrych 12 XII 2018
Logiki modalne i bisymulacja Adam Izdebski 19 XII 2018
O problemie izomorfizmu grafów Agata Dubiak 9 I 2019
O argumentacji, formalnie Aleksandra Mędrek 16 I 2019
Reprezentacja liczb w rachunku lambda Jakub Bujak 23 I 2019

Referaty w semestrze letnim 17/18


Temat referatu Osoba referująca Termin
Ekspandery i osiągalność w pamięci logarytmicznej Mikołaj Murasik 28 II 2018
Ekspandery i osiągalność w pamięci logarytmicznej (c.d.) Mikołaj Murasik 7 III 2018
Ekspandery i osiągalność w pamięci logarytmicznej (c.d.2) Mikołaj Murasik 14 III 2018
Wyrażenia regularne dla automatów z wyjściem Rafał Stefański 21 III 2018
Języki przemienne rozpoznawane przez automaty z rejestrami Tom Macieszczak 4 IV 2018
Języki przemienne rozpoznawane przez automaty z rejestrami (c.d.) Tom Macieszczak 11 IV 2018
Eksperymentalna weryfikacja hipotezy o dychotomii WQO Piotr Waśko 18 IV 2018
Eksperymentalna weryfikacja hipotezy o dychotomii WQO (c.d.) Piotr Waśko 25 IV 2018
Przykłady języków regularnych słów przeliczalnych Michał Szostek 9 V 2018
BDD Albert Gutowski 16 V 2018
BDD (c.d.) Albert Gutowski 23 V 2018
O zgadywaniu języków i nie tylko Stanisław Purgał 30 V 2018
Automaty ze stosem wyższych rzędów Ewelina Krakowiak 6 VI 2018
Nowy algorytm dla gier parzystości + lody! Damian Niwiński 13 VI 2018

Referaty w semestrze zimowym 17/18


Temat referatu Osoba referująca Termin
Automaty jednoznaczne Karol Farbiś 18 X 2017
Automaty jednoznaczne (c.d.) Karol Farbiś 25 X 2017
O amalgamacji Piotr Waśko 8 XI 2017
O amalgamacji (c.d.) Piotr Waśko 15 XI 2017
Automaty ze stosem wyższych rzędów Ewelina Krakowiak 22 XI 2017
Automaty ze stosem wyższych rzędów (c.d.) Ewelina Krakowiak 29 XI 2017
Quasi-wielomianowy algorytm dla gier parzystości Albert Gutowski 6 XII 2017
Quasi-wielomianowy algorytm dla gier parzystości (c.d.) Albert Gutowski 13 XII 2017
Algorytmy uczenia języków regularnych Stanisław Purgał 20 XII 2016
Rozpoznawalne języki gęstych słów Michał Szostek 10 I 2018
Rozpoznawalne języki gęstych słów (c.d.) Michał Szostek 17 I 2018
Automaty z rejestrami rozpoznające języki przemienne Tom Macieszczak 24 I 2018

Referaty w semestrze letnim 16/17


Temat referatu Osoba referująca Termin
Propozycje tematów prac magisterskich I W.Czerwiński, P.Hofman, Sz. Toruńczyk 1 III 2017
Propozycje tematów prac magisterskich II L.Clemente, M.Skrzypczak, P.Parys 8 III 2017
PCP cz.III Mikołaj Murasik 15 III 2017
PCP cz.IV Mikołaj Murasik 22 III 2017
Rozszerzenie algorytmu Angluin dla automatów niedeterministycznych Rafał Stefański 29 III 2017
Rozszerzenie algorytmu Angluin dla automatów niedeterministycznych (c.d.) Rafał Stefański 5 IV 2017
Minimalizacja automatów niedeterministycznych Piotr Waśko 12 IV 2017
Minimalizacja automatów niedeterministycznych (c.d.) Piotr Waśko 26 IV 2017
Problem pokrywalności dla sieci Petriego Stanisław Purgał 10 V 2017
Problem pokrywalności dla sieci Petriego (c.d.) Stanisław Purgał 17 V 2017
Uniwersalność automatów jednoznacznych Karol Farbiś 24 V 2017
Niepustość automatów ze stosem wyższych rzędów Ewelina Krakowiak 31 V 2017
Niepustość automatów ze stosem wyższych rzędów (c.d.) Ewelina Krakowiak 7 VI 2017
Propozycje tematów prac magisterskich S.Lasota, D.Niwiński 14 VI 2017

Referaty w semestrze zimowym 16/17


Temat referatu Osoba referująca Termin
Automaty na porządkach nigdziegęstych Michał Niewiadomski 12 X 2016
Automaty czasowe Rafał Stefański 19 X 2016
Transducers with origin information Krzysztof Piecuch 26 X 2016
Układy równań liniowych z dokładnością do permutacji Radosław Piórkowski 2 XI 2016
Automaty na porządkach nigdziegęstych (c.d.) Michał Niewiadomski 9 XI 2016
Układy równań liniowych z dokładnością do permutacji (c.d.) Radosław Piórkowski 9 XI 2016
BDD Stanisław Purgał 16 XI 2016
Układy równań liniowych z dokładnością do permutacji (c.d.) Radosław Piórkowski 23 XI 2016
,,Stratne'' maszyny licznikowe Piotr Waśko 30 XI 2016
Separowalność Karol Farbiś 7 XII 2016
Ograniczona szerokość drzewiasta Robert Błaszkiewicz 14 XII 2016
Alternacja i prawdopodobieństwo w czasie wielomianowym Ewelina Krakowiak 21 XII 2016
Separacja w NP i co-NP Michał Modras 11 I 2017
PCP (wstęp) Mikołaj Murasik 18 I 2017
PCP (kontynuacja) Mikołaj Murasik 24 I 2017

Referaty w semestrze letnim 15/16


Temat referatu Osoba referująca Termin
Algorytm dla bisymulacji dla procesów bezkontekstowych Michał Modras 2 III 2016
Algorytm dla bisymulacji dla procesów bezkontekstowych (c.d.) + plany na przyszłość Michał Modras 9 III 2016
Automaty na porządkach nigdziegęstych Michał Niewiadomski 16 III 2016
Automaty na porządkach nigdziegęstych (c.d.) Michał Niewiadomski 23 III 2016
O funkcjach bardzo szybko rosnących -- nieformalna dyskusja Antonio Ochman 30 III 2016
O funkcjach bardzo szybko rosnących Antonio Ochman 6 IV 2016
O funkcjach bardzo szybko rosnących (c.d.) Antonio Ochman 13 IV 2016
Albo wprowadzenie do zbiorów z atomami, albo konstruktywny dowód lematu Higmana Michał Szostek 20 IV 2016
Better quasi orders (BQO) Michał Godziszewski 27 IV 2016
BQO (c.d.) Michał Godziszewski 4 V 2016
seminarium się nie odbyło 18 V 2016
BQO (c.d.2) Michał Godziszewski 25 V 2016
Funkcje definiowalne w rachunku lambda z typami prostymi Bartosz Gąsiorzewski-Szmyd 1 VI 2016
Funkcje definiowalne w rachunku lambda z typami prostymi (c.d.) Bartosz Gąsiorzewski-Szmyd 8 VI 2016

Referaty w semestrze zimowym 15/16


Temat referatu Osoba referująca Termin
Osiągalność dla 2-VASS jest PSPACE-zupełna Antonio Ochman 21 X 2015
Osiągalność dla 2-VASS jest PSPACE-zupełna (c.d.) Antonio Ochman 28 X 2015
O spektrach Adam Krzysztof Nieżurawski 4 XI 2015
O spektrach (c.d.) Adam Krzysztof Nieżurawski 18 XI 2015
Złożoność parametryczna dla struktur
o ograniczonej szerokości drzewiastej
Bartosz Gąsiorzewski-Szmyd 25 XI 2015
Złożoność parametryczna dla struktur
o ograniczonej szerokości drzewiastej (c.d.)
Bartosz Gąsiorzewski-Szmyd 2 XII 2015
Złożoność parametryczna dla struktur
o ograniczonej szerokości drzewiastej (c.d.2)
Bartosz Gąsiorzewski-Szmyd 9 XII 2015
Automaty na porządkach nigdziegęstych Michał Niewiadomski 17 XII 2015
Automaty na porządkach nigdziegęstych (c.d.) Michał Niewiadomski 13 I 2016
O rozstrzygalności bisymulacji Michał Modras 20 I 2016
O rozstrzygalności bisymulacji (c.d.) Michał Modras 27 I 2016

Referaty w semestrze letnim 14/15


Temat referatu Osoba referująca Termin
Szkic dowodu rozstrzygalności problemu stopu :) Sławek Lasota 25 II 2015
Automaty na porządkach nigdziegęstych (c.d) Michał Niewiadomski 4 III 2015
Automaty na porządkach nigdziegęstych (c.d.2) Michał Niewiadomski 11 III 2015
Automaty na porządkach nigdziegęstych (c.d.3) Michał Niewiadomski 18 III 2015 godz. 10:45!
Wprowadzenie do zbiorów z atomami Tomasz Gródek 25 III 2015
Wprowadzenie do zbiorów z atomami (c.d.) Tomasz Gródek 1 IV 2015
Minimalne stopnie Turinga Antonio Ochman 8 IV 2015
Minimalne stopnie Turinga (c.d.) Antonio Ochman 15 IV 2015
Minimalne stopnie Turinga (c.d.2) Antonio Ochman 22 IV 2015
Automaty na porządkach nigdziegęstych - o pracy magisterskiej Michał Niewiadomski 29 IV 2015 seminarium się nie odbyło
Równoważność automatów probabilistycznych Magdalena Bojarska 6 V 2015
Automaty na porządkach nigdziegęstych - o pracy magisterskiej Michał Niewiadomski 13 V 2015
Gry koalicyjne i wartość Shapleya (część II) Mikołaj Murasik 20 V 2015
Wprowadzenie do teorii WQO Michał Godziszewski 27 V 2015
Przemysław Wałęga Wprowadzenie do ,,Default Logic'' 3 VI 2015

Referaty w semestrze zimowym 14/15


Temat referatu Osoba referująca Termin
Tematyka pracy magisterskiej Tomasz Gródek 15 X 2014
Równoważność automatów probabilistycznych Magdalena Bojarska 22 X 2014
Równoważność automatów probabilistycznych (c.d.) Magdalena Bojarska 29 X 2014
Gry koalicyjne i wartość Shapleya Mikołaj Murasik 5 XI 2014
Gry koalicyjne i wartość Shapleya (c.d.) Mikołaj Murasik 12 XI 2014
Gry koalicyjne i wartość Shapleya (c.d.2) Mikołaj Murasik 19 XI 2014
Stopnie Turinga i metoda priorytetu Antonio Ochman 26 XI 2014
Stopnie Turinga i metoda priorytetu (c.d.) Antonio Ochman 3 XII 2014
Stopnie Turinga i metoda priorytetu (c.d.2) Antonio Ochman 10 XII 2014
Charakteryzacja języków drzew nieskończonych definiowalnych w WMSO Michał Godziszewski 17 XII 2014
Charakteryzacja języków drzew nieskończonych definiowalnych w WMSO (c.d.) Michał Godziszewski 7 I 2015
Charakteryzacja języków drzew nieskończonych definiowalnych w WMSO (c.d.2) Michał Godziszewski 14 I 2015
Automaty na porządkach nigdziegęstych Michał Niewiadomski 21 I 2015