| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 14.10.2003 | Mikołaj Bojańczyk | Tree-walking automata |
| 27.10.2003 | Mikołaj Bojańczyk | Tree-walking automata - details |
| 28.10.2003 | Jerzy Tyszkiewicz | Semi-join algebra and guarded fragment |
| 3.11.2003 | Marcin Peczarski | Models of security protocols PS |
| 17.11.2003 | Damian Niwiński | Discussion |
| 25.11.2003 | Thomas Colcombet | Infinite structures of finite presentation |
| 1.12.2003 | Michał Przybylski | Dynamic Epistemic Logic |
| 8.12.2003 | Radosław Bartosiak | Digital signatures according to M. Backes |
| 12.01.2004 | Paweł Rembelski | TBA |