| 14.10.2011 | Beniamin Wróbel, O rozmaitościach dyskryminatorowych algebr Boole'a z operatorami |
| 21.10.2011 | Sławomir Kost, O logice (S5,S5), I |
| 28.10.2011 | Sławomir Kost, O logice (S5,S5), II |
| 4.11.2011 | Sławomir Kost, O logice (S5,S5), III |
| 18.11.2011 | Małgorzata Kruszelnicka, Bisymulacja w klasie skończonych modeli Kripkego, I |
| 25.11.2011 | Małgorzata Kruszelnicka, Bisymulacja w klasie skończonych modeli Kripkego, II |
| 16.12.2011 | Tomasz Połacik, O konferencji Non-classical Modal and Predicate Logics |
| 13.01.2012 | Zofia Kostrzycka, O logikach w klasie NEXT(KTB) |
| 20.01.2012 | Tomasz Połacik, Podmodele modeli Kripkego w sensie Moniri-Zaare |
| 17.02.2012 | Piotr Wojtylak, Twierdzenie Lindenbauma a Pewnik Wyboru |
| 24.02.2012 | Wojciech Dzik, Unifikacja dla nietranzytywnych logik modalnych |
| 2.02.2012 | Tomasz Połacik, Problem interpolacji w logice Constant Domain I |
| 9.02.2012 | Tomasz Połacik, Problem interpolacji w logice Constant Domain II |
| 24.02.2012 | Wojciech Dzik, Unifikacja w słabo-przechodnich logikach modalnych |
| 2.03.2012 | Tomasz Połacik, Redukty bisymulacyjne I |
| 9.03.2012 | Tomasz Połacik, Redukty bisymulacyjne II |
| 16.03.2012 | Wojciach Dzik, Splitting i typy unifikacji w słabo-przechodnich logikach modalnych I |
| 23.03.2012 | Wojciach Dzik, Splitting i typy unifikacji w słabo-przechodnich logikach modalnych II |
| 30.03.2012 | Sławomir Kost, Model uniwersalny dla logiki (S5,S5)) |
| 16.04.2012 | Anna Glenszczyk, Niedefiniowalność kwantyfikatora egzystencjalnego w intuicjonistycznej logice zdaniowej drugiego rzędu |
| 20.04.2012 | Anna Bień, Singularne grafy ważone |
| 18.05.2012 | Sandor Radeleczky (University of Miskolc), On the tolerance lattice of tolerance factors |
| 1.06.2012 | Wojciech Dzik, Operatory w algebrach Heytinga a spójniki intuicjonistyczne |