| Date | Speaker | Title |
|---|---|---|
| 12.10.2004 | --- | Arrangement of the talks schedule |
| 19.10.2004 | Paweł Urzyczyn | My (un)favourite things |
| 26.10.2004 | Sibylle Fröschle | Hereditary history preserving bisimilarity on live free-choice systems |
| 02.11.2004 | Aleksy Schubert | Automata with constraints |
| 09.11.2004 | Grzegorz Marczyński | Internally dependent structures |
| 16.11.2004 | Mikołaj Bojańczyk | Tree walking automata |
| 23.11.2004 | Marcin Kowalczyk | Combining programming languages |
| 30.11.2004 | Jarosław Ku¶mierek | Functorial approach to the design of object-oriented languages |
| 07.12.2004 | Michał Misiak | Development graphs with behavioural links |
| 14.12.2004 | Artur Zawłocki | A model of mobility |
| 21.12.2004 | Damian Niwiński | Complexity of infinite computations |
| 04.01.2005 | Łukasz Krzeszczakowski | Automatic structures |
| 11.01.2005 | Rafał Wojtczuk | Proving properties of programs written in low-level languages |
| 18.01.2005 | Michał Strojnowski | Random 3-SAT |