| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 10.02.2004 | --- | Ustalanie terminów referatów |
| 17.02.2004 | Konrad Zdanowski | Arithmetic in Finite Models |
| 24.02.2004 | Thomas Colcombet | On the positional determinacy of edge-labeled games |
| 02.03.2004 | Daria Walukiewicz-Chrząszcz | A Coverage Checking Algorithm for LF |
| 09.03.2004 | Grzegorz Marczyński | Specification of object-oriented systems |
| 16.03.2004 | Michał Gajda | Static checking of XSLT properties |
| 23.03.2004 | Aleksy Schubert | Project Verificard - overview |
| 30.03.2004 | Patryk Czarnik | Why - a tool for proving program properties in Coq |
| 06.04.2004 | Jacek Chrząszcz | Krakatoa - a tool for generation of proof obligations |
| 20.04.2004 | Marcin Rychlik | PH-hardness of solving some probabilistic games |
| 04.05.2004 | Michał Misiak | Behavioural semantics of algebraic specifications in an arbitrary logical system |
| 11.05.2004 | Piotr Kosiuczenko | Graphical modelling of mobile systems |
| 18.05.2004 | Nguyen Anh Linh | Hyper-resolution system for modal logics |
| 25.05.2004 | Piotr Hoffman | Specification of data types in memory |