| Data | Prowadzący | Tytuł referatu |
|---|---|---|
| 18.02.2005 | Michał Politowski | Rachunek obiektów nu Obj |
| 25.02.2005 | --- | Ustalanie terminów referatów |
| 04.03.2005 | Sławomir Kolasiński | Silna normalizacja inaczej |
| 11.03.2005 | Sławomir Kolasiński | Algorytm Wajsberga/Ben-Yelesa dla intuicjonistycznej logiki zdaniowej |
| 18.03.2005 | Paweł Ostrowski | Porównanie narzdzi do znajdowania usterek w programach Javy |
| 25.03.2005 | Barbara Domagała | O rozumieniu typów, polimorfizmu i abstrakcyjnych typów danych |
| 01.04.2005 | Dominika Tkaczyk | COQ - omówienie narzędzia |
| 08.04.2005 | --- | Referat przeniesiony ze względu na pogrzeb Jana Pawła II |
| 15.04.2005 | Dariusz Kuśmierek | Wpływ rachunku lambda na informatykę i logikę |
| 22.04.2005 | Barbara Domagała | Teoria typów Martina-Loefa |
| 29.04.2005 | Piotr Roszkowski | JFlow - omówienie narzędzia |
| 06.05.2005 | Barbara Domagała | System typów Martina-Loefa |
| 13.05.2005 | Paweł Ostrowski | Omówienie postepów w pracy magisterskiej |
| 13.05.2005 | Piotr Roszkowski | Omówienie postepów w pracy magisterskiej |
| 20.05.2005 | Barbara Domagała | Omówienie postepów w pracy magisterskiej |
| 20.05.2005 | Michał Politowski | Omówienie postepów w pracy magisterskiej |