Home > News > Seminar za osnove matematike in teoretičnega računalništva in the year 2007

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
Archive: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007