| 9.10.2015 | Tomasz Połacik, Konserwatywność ZF nad pewnym rozszerzeniem CZF* I |
| 16.10.2015 | Tomasz Połacik, Konserwatywność ZF nad pewnym rozszerzeniem CZF* II |
| 23.10.2015 | Wojciech Dzik, Topology, Algebra, Categories and Logic 2015 |
| 30.10.2015 | Wojciech Dzik, Projektywna unifikacja pośrednich i modalnych logik predykatów |
| 7.11.2015 | Tomasz Połacik, Algebraizacja pośrednich logik predykatów I (omówienie pracy D. Tishkovskiego) |
| 14.11.2015 | Tomasz Połacik, Algebraizacja pośrednich logik predykatów II (omówienie pracy D. Tishkovskiego) |
| 21.11.2015 | Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną I (omówienie prac S. Lewitzka) |
| 28.11.2015 | Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną II (omówienie prac S. Lewitzka) |
| 4.12.2015 | Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną III (omówienie prac S. Lewitzka) |
| 11.12.2015 | Anna Bień, Struktury argumentacji I. |
| 18.12.2015 | Anna Bień, Struktury argumentacji II. |
| 8.01.2016 | Małgorzata Kruszelnicka, Tableaux dla formuł bisymulacyjnie niezmienniczych I. |
| 15.01.2016 | Małgorzata Kruszelnicka, Tableaux dla formuł bisymulacyjnie niezmienniczych II. |
| 22.01.2016 | Tomasz Połacik, Wieloprzesłankowe reguły archetypowe I. |
| 19.02.2016 | Tomasz Połacik, Wieloprzesłankowe reguły archetypowe II. |
| 26.02.2016 | Wojciech Dzik, Direct product and unification. Applications to residuated lattices and to intuitionistic logic with additional connectives |
| 4.03.2016 | Anna Glenszczyk, Monadic fragments of Intuitionistic Control Logic |
| 18.03.2016 | Tomasz Witczak, Negational translation no intuitionistically equivalent to the usual ones I. (Jaime Gaspar) |
| 1.43.2016 | Tomasz Witczak, Negational translation no intuitionistically equivalent to the usual ones II. (Jaime Gaspar) |
| 8.04.2016 | Tomasz Połacik, Exact, Extendible and Procetive Formulae (D. de Jongh, L. A. Chagrova) |
| 15.04.2016 | Wojciech Dzik, O unifikacji w logikach podstrukturalnych nad FLew |
| 22.04.2016 | Anna Glenszczyk, Zanurzenie ICL w pewną logikę modalną |
| 29.04.2016 | Anna Bień, Methods for solving reasoning problem in abstract argumentation - a survey (G. Chorwat et al.) |
| 6.05.2016 | Małgorzata Kruszelnicka, Formuły YES, NO |