| 2008-10-07 | | Zebranie organizacyjne | |
| 2008-10-14 | Aleksy Schubert | BML i związane z nim narzędzia | slajdy |
| 2008-10-20 | Artur Zawłocki | A Compositional Approach to Verification of Concurrent Systems | |
| 2008-10-27 | Grzegorz Marczyński | BPMN, czyli Business Process Modeling Notation | slajdy,
standard BPMN, BPMN → BPEL,
BPMN a UML |
| 2008-11-03 | Patryk Czarnik | Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu | slajdy |
| 2008-11-17 | Piotr Kosiuczenko | Przepisywanie termów jako semantyczna podstawa modelowania graficznego | |
| 2008-11-24 | Aleksy Schubert, Jacek Chrząszcz | O funkcyjności w Javie | slajdy |
| 2008-12-01 | Patryk Czarnik | "XML" | slajdy |
| 2008-12-08 | Łukasz Jancewicz | Anonimowość w BitTorrencie | slajdy,
projekt Tribler |
| 2008-12-15 | Jędrek Fulara, Krzysztof Jakubczyk | Analiza pętli | |
| 2009-01-12, 2009-01-19 | Jacek Chrząszcz, Aleksy Schubert | Abstrakcyjne interpretacje | |
| 2009-01-26, 2009-02-02 | Grzegorz Marczyński, Artur Zawłocki | Towards an Institution for Services | |
| 2009-02-16 | | Spotkanie organizacyjne | |
| 2009-03-02 | Tadeusz Sznuk, Jędrek Fulara, Krzysztof Jakubczyk | Roboczo | |
| 2009-03-09 | Łukasz Jancewicz, Patryk Czarnik | Roboczo | |
| 2009-03-16, 2009-03-23 | Andrzej Tarlecki | Heterogeniczne środowiska logiczne – spojrzenie kategoryjne | |
| 2009-03-30 | Artur Zawłocki | Formalizm do specyfikacji komponentów w oparciu o logikę
liniowo-temporalną – work in progress | |
| 2009-04-06 | Grzegorz Marczyński | Prace nad reprezentowaniem architektury systemu w postaci grafu konstrukcji | |
| 2009-04-20 | Aleksy Schubert | Podsumowanie Mobiusa? :( | |
| 2009-04-27 | Grzegorz Marczyński, Artur Zawłocki | Towards an Institution for Services | |
| 2009-05-04 | Patryk Czarnik | Weryfikacja bajtkodu | |
| 2009-05-11 | Michał Prybyłek | SMS | |
| 2009-05-18 | | ODWOŁANE | |
| 2009-05-25 | Krzysztof Jakubczyk, Jędrek Fulara | O dwóch rzeczach | |
| 2009-06-01 | Tadeusz Sznuk | BMLVCGen | |
