Davorin Lešnik: Snopi kot model sintetične topologije, 2. del
Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
21. 11. 2007
Davorin Lešnik: Sintetična topologija, 3. del
Četrtek 15.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
14. 11. 2007
Davorin Lešnik: Sintetična topologija, 2. del
Četrtek 8.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2007
Davorin Lešnik: Sintetična topologija
Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
23. 10. 2007
Andrej Bauer: Na prvi pogled nemogoči funkcionali
Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
17. 10. 2007
Niels Schwartz: Categories of partially ordered rings II
Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
8. 10. 2007
Categories of partially ordered rings I
Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Seminar za temelje matematike in teoretično računalništvo
3. 10. 2007
