Seminar za osnove matematike in teoretičnega računalništva in the year 2007
I want to receive the news from this source by email »
12. 12. 2007 | Mathematics and theoretical computing seminar
Andrej Bauer: Interpretacija logike z realizabilnostjo
Četrtek 13.12.2007 od 14h do 16h v sobi 3.07, Jadranska 21
6. 12. 2007 | Mathematics and theoretical computing seminar
Andrej Bauer: Efektivni topos, 2. del
Četrtek 6.12.2007 od 14h do 16h v sobi 3.07 na Jadranski 21
27. 11. 2007 | Mathematics and theoretical computing seminar
Andrej Bauer: Efektivni topos
Četrtek 29. 11. 2007, od 14h do 16h v sobi 3.07, Jadranska 21
21. 11. 2007 | Mathematics and theoretical computing seminar
Davorin Lešnik: Snopi kot model sintetične topologije, 2. del
Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
15. 11. 2007 | Mathematics and theoretical computing seminar
Davorin Lešnik: Sintetična topologija, 3. del
Četrtek 15.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21
7. 11. 2007 | Mathematics and theoretical computing seminar
Davorin Lešnik: Sintetična topologija, 2. del
Četrtek 8.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21
23. 10. 2007 | Mathematics and theoretical computing seminar
Davorin Lešnik: Sintetična topologija
Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21
18. 10. 2007 | Mathematics and theoretical computing seminar
Andrej Bauer: Na prvi pogled nemogoči funkcionali
Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
18. 10. 2007 | Mathematics and theoretical computing seminar
Niels Schwartz: Categories of partially ordered rings II
Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
18. 10. 2007 | Mathematics and theoretical computing seminar
Categories of partially ordered rings I
Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07