| 2009-10-05 | | Zebranie organizacyjne | |
| 2009-10-12 | Patryk Czarnik | Szkoła letnia | |
| 2009-10-19 | Jacek Chrząszcz, Aleksy Schubert | BILL w Coqu | |
| 2009-10-26 | Aleksy Schubert | Prerun | |
| 2009-11-02 | Patryk Czarnik | O weryfikacji bajtkodu | |
| 2009-11-09 | Aleksy Schubert | Co się działo na drugim światowym kongresie Formal Methods | |
| 2009-11-16 | Grzegorz Marczyński | Sygnatury algebraiczne z porządkiem na symbolach | |
| 2009-11-23 | | Brak seminarium | |
| 2009-11-30 | Piotr Kosiuczenko | Efektywna implementacja operatora @pre / \old | |
| 2009-12-07 | Artur Zawłocki | doktorat | |
| 2009-12-14 | Jędrzej Fulara i Krzysztof Jakubczyk | Analiza abstrakcyjna | |
| 2010-01-04 i 2010-01-11 | Bartosz Zielinski | Polityki i modele kontroli dostępu | |
| 2010-01-18 | Jędrzej Fulara i Krzysztof Jakubczyk | prerun | |
| 2010-02-15 | | Spotkanie organizacyjne | |
| 2010-02-22 | | Brak seminarium | |
| 2010-03-01 | Grzegorz Marczyński | O granicach w kategorii praporządków z morfizmami słabo odbijajacymi domknięcia w dół | |
| 2010-03-08 | Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert | Mały bajtkod | |
| 2010-03-15 | Patryk Czarnik | A dozen instructions make Java bytecode (prerun) | |
| 2010-03-22 | Maciej Zielenkiewicz | Teoria kategorii w fizyce | |
| 2010-03-29 | Tadeusz Sznuk | Przegląd VC-genów | |
| 2010-04-12 | Michał Przybyłek | | |
| 2010-04-19 | Jędrzej Fulara i Krzysztof Jakubczyk | Abstrakcyjna interpretacja, analiza statyczna itd. | |
| 2010-04-26 | Artur Zawłocki | Doktorat | |
| 2010-05-10 | Andrzej Tarlecki | Some niuances... | |
| 2010-05-17 | Patryk Czarnik | Projekt RiTS | |
| 2010-05-24 | | Brak seminarium | |
| 2010-05-31 | | Brak seminarium | |
