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 |