| 2011-10-03 | | Zebranie organizacyjne | |
| 2011-10-10 | Tadeusz Sznuk | HAHA: Hoare Advanced Homework Assistant | |
| 2011-10-17 | Piotr Kosiuczenko | Specyfikacja części nieimienniczej systemów w języku OCL | |
| 2011-10-24 | Andrzej Tarlecki | O semantyce specyfikacji structuralnych zorientowanej na własności | |
| 2011-11-07 | Krzysztof Jakubczyk | Sweeping in Abstract Interpretation | |
| 2011-11-14 | | BRAK SEMINARIUM | |
| 2011-11-21 | | Spotkanie okołograntowe GrAT | |
| 2011-11-28 | Tadeusz Sznuk | Fluid Updates in Arbitrary Abstract Domains | |
| 2011-12-05 | Bartosz Klin | Logiczne prawa rozdzielności | |
| 2011-12-12 | Bartosz Klin? | | |
| 2011-12-19 | Jerzy Tyszkiewicz | Możliwości obliczeniowe arkuszy kalkulacyjnych | |
| 2012-01-02 | | ODWOŁANE | |
| 2012-01-09 | Patryk Czarnik | JVM w Coqu | |
| 2012-01-16 | Bartek Klin | Prerun wykładów habilitacyjnych | |
| 2012-02-13 | | Spotkanie organizacyjne | |
| 2012-02-20 | Michał Przybyłek | Wariacje na systemach logicznych | |
| 2012-02-27 | | BRAK SEMINARIUM | |
| 2012-03-05 | Bartosz Zieliński | Kategorie, szkice, bazy danych | |
| 2012-03-12 | Aleksy Schubert | Czytelne programowanie | |
| 2012-03-19 | Tadeusz Sznuk | "Narzędzie" (aka. HAHA) | |
| 2012-03-26 | Artur Zawłocki | | |
| 2012-04-02 | Maciej Zielenkiewicz | Metoda B | |
| 2012-04-16 | Patryk Czarnik | Testing of Evolving Protocols (prerun) | |
| 2012-04-23 | Aleksy Schubert | Newsy z ETAPSu | |
| 2012-05-07 | Patryk Czarnik | JVM w Coqu | |
| 2012-05-14 | Michał R. Przybyłek | Moduły nad monadami | |
| 2012-05-21 | Michał R. Przybyłek ? | | |
| 2012-05-28 | Jędrek Fulara | | |
| 2012-06-04 | Krzysztof Jakubczyk | | |
