| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 11.02.2003 | --- | Ustalanie terminów referatów |
| 18.02.2003 | Andrzej Tarlecki | Globalne rozwijanie systemu poprzez lokalne konstrukcje obserwacyjne |
| 25.02.2003 | Marcin Benke | Typy zależne i programowanie generyczne |
| 04.03.2003 | Sławomir Lasota | O rozstrzygalności bisymulacji |
| 11.03.2003 | Aleksy Schubert | Algorytm znajdowania liniowych retrakcji |
| 18.03.2003 | Mikołaj Bojańczyk | Kwantyfikator ograniczający |
| 25.03.2003 | Grzegorz Grudziński | Programowanie aspektowe |
| 01.04.2003 | Mikołaj Konarski | Funkcje etykietowane w Camlu -- ujęcie kategoryjne |
| 15.04.2003 | Igor Walukiewicz | Gry rozproszone |
| 29.04.2003 | Piotr Hoffman | Amalgamacja i twierdzenie o zygzaku |
| 06.05.2003 | Jacek Chrząszcz | O Coqu i modułach |
| 13.05.2003 | Nguyen Anh Linh | Programowanie w logikach multimodalnych |
| 20.05.2003 | Artur Zawłocki | Specyfikacje architekturalne systemów rozproszonych |