| 2010-10-04 | | Zebranie organizacyjne | |
| 2010-10-11 i 2010-10-18 | Patryk Czarnik | Projekt RiTS | |
| 2010-10-25 | Hendrik Radke | Checking Correctness for Graph Rewriting Systems
| |
| 2010-11-08 | Tadeusz Sznuk | Co ja robię tu | |
| 2010-11-15 | Jędrzej Fulara | Dziedzina abstrakcyjna 'Weighted Hexagons' | |
| 2010-11-22 | Krzysztof Jakubczyk | Dziedziny abstrakcyjne uwzględniające mnożenie zmiennych | |
| 2010-11-29 | Maciej Zielenkiewicz | Generatory niezmienników i automatyczna weryfikacja | |
| 2010-12-06 | Aleksy Schubert | Oparte o dedukcję narzędzia sprawdzania poprawności kodu | |
| 2010-12-13 | Andrzej Tarlecki | Perspectives Workshop: Formal Methods - Just a Euro-Science? | |
| 2010-12-20 | Grzegorz Marczyński | Konstrukcje architekturalne w kategorii fragmentów | |
| 2011-01-10 | Patryk Czarnik | Bajtkod Javy w 12 instrukcjach – założenia implementacji | |
| 2011-01-17 | Jędrzej Fulara | Abstrakcyjne dziedziny do modelowania tablic | |
| 2011-02-14 | Andrzej Tarlecki | Another old story: compositional property-oriented semantics for structured specifications | |
| 2011-02-21 | Aleksy Schubert | Co będzie na ETAPSie | |
| 2011-02-28 | Krzysztof Jakubczyk | Zwiększanie dokładności dziedziny przedziałowej | |
| 2011-03-07 | Maciej Zielenkiewicz | Generatory niezmienników i automatyczna weryfikacja II | |
| 2011-03-14 | Jędrzej Fulara | A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis | |
| 2011-01-10 | Patryk Czarnik | | |
| 2011-03-21 | Tadeusz Sznuk | SAT solvery | |
| 2011-03-28 | Patryk Czarnik | JVM w Coqu – struktury czasu wykonania | |
| 2011-04-04 | Tadeusz Sznuk | Diagramy decyzyjne i model checking CTL | |
| 2011-04-11 | Jacek Chrząszcz |
System do testowania klientów wielostronnych protokołów komunikacyjnych" czyli czym możemy się pochwalić po realizacji projektu RiTS
| |
| 2011-04-18 | | Referat odwołany | |
| 2011-05-09 | Aleksy Schubert? | | |
| 2011-05-?? | Michał Przybyłek | Uzupełnienia Dedekinda-MacNeilla | |
