Referaty w semestrze letnim 22/23
| Temat referatu | Osoba referująca | Termin |
| Równoważność jednoznacznych VASSów | Wojciech Czerwiński | 1 III 2023 |
| Równoważność automatów jednolicznikowych | Łukasz Orlikowski | 8 III 2023 |
| Problem równoważności biegowej | Jadwiga Czyżewska | 15 III 2023 |
| Rozstrzygalność gier parzystości dla automatów ze stosem | Aleksander Wiśniewski | 22 III 2023 |
| Gry parzystości w czasie quasi-wielomianowym | Szymon Haponiuk | 29 III 2023 |
| Dowody cykliczne | Łukasz Kamiński | 5 IV 2023 |
| Złożoność Kołmogorowa | Mateusz Nowakowski | 12 IV 2023 |
| Prezentacja tematów magisterskich | 19 IV 2023 | |
| Ciągłe VASSy | Aleksander Wiśniewski | 26 IV 2023 |
| Technika well-quasi-ordering | Łukasz Orlikowski | 10 V 2023 |
| Transducery | Jadwiga Czyżewska | 24 V 2023 |
| O wqo na drzewach | Paweł Parys | 31 V 2023 |
| O złożoności obliczeniowej problemu niezależności zmiennych losowych | Michał Makowski | 14 VI 2023 |
Referaty w semestrze zimowym 22/23
| Temat referatu | Osoba referująca | Termin |
| Referat zaproszony nt mówienia referatów | Mikołaj Bojańczyk | 5 X 2022 |
| O własnej pracy naukowej | Wojciech Czerwiński, Filip Mazowiecki, Paweł Parys | 12 X 2022 |
| O własnej pracy naukowej | inni członkowie grupy automatów | 19 X 2022 |
| Problem Skolema | Łukasz Kamiński | 26 X 2022 |
| Automaty ważone | Patryk Szlufik | 9 XI 2022 |
| Niskowymiarowe VASSy | Łukasz Orlikowski | 23 XI 2022 |
| Algorytm Hopcrofta | Mateusz Nowakowski | 30 XI 2022 |
| Arytmetyka Presburgera | Aleksander Wiśniewski | 7 XII 2022 |
| Czułość funkcji boolowskiej | Dominik Wołek | 14 XII 2022 |
| Deterministyczna separacja automatów czasowych | Jadwiga Czyżewska | 21 XII 2022 |
| Spotkanie integracyjne nt staży i magisterek | 11 I 2023 | |
| Problem Skolema - wersja ciągła | Łukasz Kamiński | 18 I 2023 |
| Logika FO2, NExpTime-zupełność | Patryk Szlufik | 25 I 2023 |
Referaty w semestrze letnim 21/22
| Temat referatu | Osoba referująca | Termin |
| Gładka złożoność | Rafał Michaluk | 2 III 2022 |
| Automaty ważone | Filip Mazowiecki | 9 III 2022 |
| Star height | Dominik Wołek | 16 III 2022 |
| Konstruktywność w P vs NP | Tien Chu | 23 III 2022 |
| Szymon Toruńczyk | 30 III 2022 | |
| Majority 3-SAT | Szymon Haponiuk | 6 IV 2022 |
| Twierdzenie Cobhama | Łukasz Kamiński | 13 IV 2022 |
| Proof complexity | Piotr Gruza | 20 IV 2022 |
| Obwody monotoniczne dla problemu kliki | Jadwiga Czyżewska | 27 IV 2022 |
| Osiągalność w odwracalnych VASSach ze stosem | Mateusz Gienieczko | 11 V 2022 |
| Rozszerzenia MSO są nierozstrzygalne | Rafał Michaluk | 18 IV 2022 |
| Wyniki prac magisterskich | Szymon Haponiuk, Rafał Michaluk, Miron Szewczyk | 25 V 2022 |
| Propozycje tematów prac mgr | 1 VI 2022 | |
| Wyniki prac magisterskich | Dominik Wołek, Mateusz Gienieczko, Tien Chu | 15 VI 2022 |
Referaty w semestrze zimowym 21/22
| Temat referatu | Osoba referująca | Termin |
| Referat zaproszony | Lorenzo Clemente | 6 X 2021 |
| Price of anarchy (paradoks Braessa, algorytmiczna teoria gier) | Dominik Wołek | 13 X 2021 |
| The complexity of first-order and monadic second-order logic revisited | Tien Chu | 20 X 2021 |
| Gry parzystości - algorytm z drzewami uniwersalnymi | Jadwiga Czyżewska | 27 X 2021 |
| Języki VASSów (akceptacja przez stan) i regularna separacja | Miron Szewczyk | 3 XI 2021 |
| O ekspanderach | Łukasz Kamiński | 10 XI 2021 |
| L=SL | Jakub Różycki | 17 XI 2021 |
| Wyniki ze stażu w MPI | Miron Szewczyk | 24 XI 2021 |
| Bisymulacja (PDA + NFA) | Mateusz Gienieczko | 1 XII 2021 |
| BSS model | Dominik Wołek | 8 XII 2021 |
| Złożoność komunikacyjna | Jadwiga Czyżewska | 15 XII 2021 |
| Dolne ograniczenia na automaty jednoznaczne | Łukasz Kamiński | 22 XII 2021 |
| Nierozstrzygalność MSO+U | Paweł Parys | 12 I 2022 |
| Obwody arytmetyczne | Piotr Gruza | 19 I 2022 |
| Równoważenie gramatyk bezkontekstowych | Jakub Różycki | 26 I 2022 |
Referaty w semestrze letnim 20/21
| Temat referatu | Osoba referująca | Termin |
| Równoważność języków automatów jedno-licznikowych | Marta Mościcka | 3 III 2021 |
| Czułość funkcji boolowskich | Marcin Chrzanowski | 10 III 2021 |
| Dyskretna analiza Fouriera na kostce | Aleksander Wiącek | 17 III 2021 |
| 10. problem Hilberta (Twierdzenie Matiyasevicha) | Arkadiusz Mroczkowski | 24 III 2021 |
| Twierdzenie PCP implikuje trudność aproksymacji | Iwona Pytel | 7 IV 2021 |
| Dowód prostszej wersji twierdzenia PCP | Jacek Karwowski | 14 IV 2021 |
| Dowody naturalne | Mateusz Gienieczko | 21 IV 2021 |
| Istnienie funkcji jednokierunkowych = istnienie generatorów pseudolosowych | Kamil Tokarski | 28 IV 2021 |
| Algorytmy oparte na tw. Hilberta o bazie | Wojciech Przybyszewski | 5 V 2021 |
| Grafowe algorytmy podliniowe | Rafał Michaluk | 12 V 2021 |
| Minimalizacja DFA - algorytm Hopcrofta | Michał Krutul | 19 V 2021 |
| Rozwiązywanie równań na słowach | Amelia Rossowska | 26 V 2021 |
| Wyniki prac magisterskich | A. Badyl, O. Tumak, M. Krutul, J. Karwowski, M. Homenda, A. Wiącek | 2 VI 2021 |
| Wyniki prac magisterskich | I. Pytel, K. Tokarski, M. Mościcka, A. Rossowska, M. Chrzanowski, W. Przybyszewski | 9 VI 2021 |
Referaty w semestrze zimowym 20/21
| Temat referatu | Osoba referująca | Termin |
| Arytmetyka Tarskiego. O wygłaszaniu referatów. | Mikołaj Bojańczyk | 28 X 2020 |
| Separation logic | Jakub Martin | 4 XI 2020 |
| Twierdzenie Gödla o niezupełności | Oleksandra Tumak | 12 XI 2020 |
| Klasa złożoności UP | Anita Badyl | 18 XI 2020 |
| Dookoła problemu Skolema | Marcin Wierzbiński | 25 XI 2020 |
| Alternacja, alternujące maszyny Turinga, AP = PSPACE, AL = P | Szymon Haponiuk | 2 XII 2020 |
| Struktury automatowe | Arkadiusz Mroczkowski | 9 XII 2020 |
| Separowalność słów przez automaty | Miron Szewczyk | 16 XII 2020 |
| Algorytm WL, charakteryzacje za pomocą gier oraz logiki | Tien Chu | 8 I 2021 |
| Algorytm WL a liczenie homomorfizmów z grafów o ograniczonej szerokości drzewiastej | Dominik Gryboś | 13 I 2021 |
| Klasa #P | Maria Homenda | 20 I 2021 |
| Toda’s theorem (PH zawiera się w P^#P) | Dominik Wołek | 27 I 2021 |
Referaty w semestrze letnim 19/20
| Temat referatu | Osoba referująca | Termin |
|
Conjunctive queries |
Szymon Toruńczyk |
26 II 2020 |
|
Reachability in 2-VASS is PSPACE-complete |
Agata Dubiak |
4 III 2020 |
|
CSP - algebraic approach |
Wojciech Przybyszewski |
15 IV 2020 |
|
WQO dichotomy |
Sławomir Lasota |
22 IV 2020 |
|
Undirected connectivity in deterministic logspace |
Rafał Michaluk |
29 IV 2020 |
|
Balancing context-free grammars |
Iwona Pytel |
6 V 2020 |
|
WMSO+U on regular trees - decomposition method |
Jakub Bujak |
13 V 2020 |
|
Expanders |
Aleksandra Mędrek |
20 V 2020 |
|
WQO dichotomy |
Szymon Pajzert |
27 V 2020 |
Referaty w semestrze zimowym 19/20
| Temat referatu | Osoba referująca | Termin |
|
Reachability in vector addition systems |
Adam Jędrych |
9 X 2019 |
|
Star height problem, automata with counters |
Wiktoria Kośny |
16 X 2019 |
|
Minimization of DFA (Hopcroft’s algorithm) |
Aleksander Wiącek |
23 X 2019 |
|
Separation (details tba) |
Ryszard Poklewski-Koziełł |
30 X 2019 |
|
ε-nets & approximation of hitting sets |
Wojciech Przybyszewski |
6 XI 2019 |
|
Solving parity games in quasipolynomial time |
Salvatore Scamperti |
13 XI 2019 |
|
Determinization of automata on ω-words |
Maria Homenda |
20 XI 2019 |
|
Choice function cannot be defined in MSO |
Amelia Rossowska |
27 XI 2019 |
|
Model-checking MSO on trees |
Oleksandra Tumak |
4 XII 2019 |
|
Conjunctive queries (AGM bound) |
Marta Mościcka |
11 XII 2019 |
|
Acyclic conjunctive queries (Yannakakis algorithm) |
Marcin Chrzanowski |
18 XII 2019 |
|
Model-checking MSO on graphs of bounded tree-width |
Michał Krutul |
8 I 2020 |
|
Homotopy type theory |
Jacek Karwowski |
15 I 2020 |
|
Descriptive Logics |
Jakub Kuklis |
22 I 2020 |
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 |
| 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 |