| 2013-09-30 | Tomasz Brengos (PW) | Słaba bisymulacja dla koalgebr nad uporządkowanymi monadami | |
| 2013-10-07 | | Zebranie organizacyjne | |
| 2013-10-14 | | Brak seminarium | |
| 2013-10-21 | Tadeusz Sznuk | HAHA | |
| 2013-10-28 | Krzysztof Jakubczyk | Prerun | |
| 2013-11-04 | Bartosz Zieliński | Instytucja alegoryjnego modelu danych | |
| 2013-11-18 | Patryk Czarnik | Specyfikacje w JUnit ? | |
| 2013-11-25 | Jacek Chrząszcz | Dalvik (bajtkod na Androida) | |
| 2013-12-02 | Maciej Zielenkiewicz | Evolving Graph-Structures and Their Implicit Computational Complexity | |
| 2013-12-09 | Bartosz Zieliński | Instytucja alegoryjnego modelu danych (c.d.) | |
| 2014-01-20 | Aleksy Schubert | Weryfikacja programów współbieżnych ze względu na sekwencyjne specyfikacje | |
| 2014-02-24, 2014-03-03 | Andrzej Tarlecki | Parchments for CafeOBJ logics | |
| 2014-03-10 | Maciej Zielenkiewicz | Fuzzing | |
| 2014-03-17 | Bartosz Zieliński | Ensuring serializability | |
| 2014-03-24, 2014-03-31 | Jurriaan Rot (LIACS - Leiden Universit & CWI Amsterdam) | Coinduction Up-To in a Fibrational Setting | |
| 2014-04-07 | Bartek Klin | | |
| 2014-04-14 | Aleksy Schubert | | |
| 2014-04-28 | Patryk Czarnik | | |
