| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 21.02.2003 | Paweł Tatarczak | Przegląd protokołów kryptograficznych |
| 28.02.2003 | Sławomir Lasota | Weryfikacja protokołów komunikacyjnych |
| 7.03.2003 | Jerzy Tyszkiewicz | Nawigacja za pomocą przeglądarek |
| 14.03.2003 | Sławomir Leszczyński | Cryptographically sound and machine assisted verification of security protocols |
| 21.03.2003 | Michał Przybylski | Protokoły komunikacyjne w grach |
| 28.03.2003 | Marcin Peczarski | Protokoły zapewniające bezpieczeństwo transmisji radiowej w GSM |
| 4.04.2003 | Karol Górski | Szyfry strumieniowe |
| 25.04.2003 | Igor Walukiewicz | Gry rozproszone |
| 9.05.2003 | Aleksy Schubert | Sieci peer-to-peer |
| 16.05.2003 | --- | seminarium odwołane |
| 23.05.2003 | Mikołaj Bojańczyk | Automaty wędrujące po drzewach |
| 30.05.2003 | Mikołaj Bojańczyk | Automaty wędrujące po drzewach c.d. |
| 30.05.2003 | Michał Bielecki | Automaty internetowe |