Davorin Lešnik: Snopi kot model sintetične topologije, 2. del
Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
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.
Mathematics and theoretical computing seminar
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.
Mathematics and theoretical computing seminar
7. 11. 2007
Davorin Lešnik: Sintetična topologija
Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Mathematics and theoretical computing seminar
23. 10. 2007
Andrej Bauer: Na prvi pogled nemogoči funkcionali
Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
17. 10. 2007
Niels Schwartz: Categories of partially ordered rings II
Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
8. 10. 2007
Categories of partially ordered rings I
Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
3. 10. 2007