| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 15.10.2002 | Marcin Rychlik | Probabilistycznie kwanytfikowane formuły boolowskie |
| 22.10.2002 | Sławomir Leszczyński | Gry Artura--Merlina |
| 29.10.2002 | Michał Gajda | Prosty język funkcyjny z refleksją w czasie kompilacji |
| 05.11.2002 | Marcin Kowalczyk | Łagodne typy |
| 12.11.2002 | Artur Zawłocki | Łączniki architekturalne w jezyku CommUnity |
| 19.11.2002 | Zenon Sadowski | D-N-optymalny akceptor dla TAUT |
| 26.11.2002 | Łukasz Krzeszczakowski | O pebleniu drzew regularnych |
| 03.12.2002 | Wojciech Moczydłowski | Rekonstrukcja typów obiektowych |
| 10.12.2002 | Mikołaj Bojańczyk | Języki drzew definiowalne w logikach pierwszego rzędu i łańcuchowej |
| 17.12.2002 | Paweł Urzyczyn | Przestrzenie Dilberta |
| 07.01.2003 | Norbert Dojer | Przepisywanie termów w algebrach częściowych |
| 14.01.2003 | Stefan Dziembowski | Szyfrowanie w modelu z przeciwnikiem z ograniczoną pamięcią |