| 2012-10-01 | | Zebranie organizacyjne | |
| 2012-10-08 | | Brak seminarium | |
| 2012-10-15 – 2012-10-22 | Bartek Klin | O braku dowodu P=NP w ZF? | |
| 2012-10-29 | Aleksy Schubert | Dlaczego programowanie funkcyjne jest lepsze? :) | |
| 2012-11-05 – 2012-11-12 | Michał Przybyłek | Associated Categories | |
| 2012-11-19 | Jacek i Aleksy | Funkcyjność w Javie | |
| 2012-12-03 | Bartosz Zieliński | Maude jako preprocesor SQL | |
| 2012-12-10 | Maciej Zielenkiewicz | From program verification to program synthesis | |
| 2012-12-17 | Patryk Czarnik | Test-Driven Development | |
| 2013-01-07 | | Spotkanie organizacyjne | |
| 2013-01-14 | | Spotkanie grantowe | |
| 2013-01-21 | Maciej Zielenkiewicz | Test-Based Inference of Polynomial Loop-Bound Functions | |
| 2013-02-18, 2013-02-25 | Aleksy Schubert | Przegląd istniejących formalizacji oprogramowania | |
| 2013-03-04 | Patryk Czarnik | CoJaq – Hierarchiczna formalizacja języka bajtkodu Javy | |
| 2013-03-11 | Andrzej Tarlecki | Categories, Institutions, Abstract Model Theory, and Software Specification | |
| 2013-03-18 | | Brak seminarium (ETAPS) | |
| 2013-03-25 | Bartosz Zieliński | Relacje i Alegorie | |
| 2013-04-08 | Tadeusz Sznuk | HAHA | |
| 2013-04-15 | Krzysztof Jakubczyk | Doktorat + relacja z Nijmegen | |
| 2013-04-22 | | Brak seminarium | |
| 2013-04-29 | Jędrzej Fulara | prerun obrony | |
| 2013-05-06 | Aleksy Schubert | SEL4 – zweryfikowane jądro systemu operacyjnego | |
| 2013-05-27 | Bartosz Zieliński | Alegorie... | |
| 2013-06-03 | Aleksy Schubert | | |
