| 21.10.2016 | Tomasz Witczak, Logiki z operatorem prawdopodobieństwa I |
| 28.10.2016 | Tomasz Witczak, Logiki z operatorem prawdopodobieństwa II |
| 4.11.2016 | Tomasz Witczak, Neighbourhood Semantics for IPC (Moniri, Maleki) |
| 18.11.2016 | Tomasz Witczak, Semantyka otoczeniowa dla IPC I. |
| 25.11.2016 | Tomasz Witczak, Semantyka otoczeniowa dla IPC II. |
| 2.12.2016 | Tomasz Witczak, Semantyka otoczeniowa dla IPC III. |
| 9.12.2016 | Tomasz Połacik, Niezależność formuł w logice intuicjonistycznej I |
| 20.01.2017 | Tomasz Połacik, The Intuitionistic Robinson Arithmetic(s) (M. Dancak) |
| 27.01.2017 | Anna Glenszczyk, Monadyczny "klasyczny" fragment ICL |
| 1.02.2017 | Tomasz Witczak, Intuitionistic neighborhood and topological structures without superset axiom I. |
| 24.02.2017 | Tomasz Witczak, Intuitionistic neighborhood and topological structures without superset axiom II. |
| 3.03.2017 | Anna Bień, Maximal degree of gamma graphs of trees |
| 10.03.2017 | Tomasz Witczak, Semantyka otoczeniowa dla IPC IV. |
| 7.04.2017 | Anna Glenszczyk, Modal companions |
| 28.04.2017 | Wojciech Dzik, Unifikacja w modalnych logikach predykatów |
| 5.05.2017 | Tomasz Witczak, Intuitionistic Modal Logic Based on Neighborhood Semantics without Superset Axiom |
| 19.05.2017 | Tomasz Połacik, Algebraic perspective on Prucnal's substitution (A. Citkin) |
| 26.05.2017 | Sandor Radeleczki (Miskolc University), The lattice of congruence lattices of algebras |
| 30.05.2017 | Sandor Radeleczki (Miskolc University), Rough sets and algebraic structures in logic |
| 2.06.2017 | Tomasz Witczak, Semantyka otoczeniowa dla pewnej intuicjonistycznej logiki modalnej |