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

Seminar za osnove matematike in teoretičnega računalništva in the year 2010

I want to receive the news from this source by email »

20. 12. 2010 | Mathematics and theoretical computing seminar Alex Simpson: Three Resolutions of the Banach-Tarski Paradox Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 12. 2010 | Mathematics and theoretical computing seminar Thomas Streicher: A Model of Intensional Type Theory in Simplicial Sets Torek, 14. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
6. 12. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Kanovi kompleksi Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
29. 11. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Simplicialne množice Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
23. 11. 2010 | Mathematics and theoretical computing seminar Davorin Lešnik: Konstrukcije realnih števil Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
15. 11. 2010 | Mathematics and theoretical computing seminar Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 11. 2010 | Mathematics and theoretical computing seminar Matthias Schröder: The extensional and the intensional hierarchies over R do not coincide Torek, 2. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 10. 2010 | Mathematics and theoretical computing seminar Jeff Egger: Categorical structures arising in Functional Analysis Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 10. 2010 | Mathematics and theoretical computing seminar Willem Heijltjes: "Free sums and products: when zero times zero is not zero" Torek, 19. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 10. 2010 | Mathematics and theoretical computing seminar Matija Pretnar: Programski jezik eff Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
4. 10. 2010 | Mathematics and theoretical computing seminar Andrej Bauer in Alex Simpson: A jam session on Heyting implication Torek, 5. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 9. 2010 | Mathematics and theoretical computing seminar Peter R Turner: Gradual and tapered Overflow and Underflow: Overcoming the logarithmic distribution of numbers Sreda 22.9.2010 od 10h do 11h, soba 3.06 na Jadranski 21
31. 5. 2010 | Mathematics and theoretical computing seminar Andrej Tomše: Izreka o kompaktnosti in popolnosti v logiki prvega reda Torek, 1. 6. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 5. 2010 | Mathematics and theoretical computing seminar Miha Jejčič: Goodsteinova zaporedja in hidre Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 5. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Gödelova "dialektika" Torek 18.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 5. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Gödelova "dialektika" Torek, 11.5.1971, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 5. 2010 | Mathematics and theoretical computing seminar Miha Habič: Izrek o adjungiranih funktorjih Torek, 4. 5. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
19. 4. 2010 | Mathematics and theoretical computing seminar Rok Strniša: Lastnosti dobrega modularnega sistema Torek, 20. 4. 2010 od 12h do 14h, Plemljev seminar, Jadranska 19
12. 4. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Matematična programska oprema s Pythonom Torek, 13. 4. 2010, od 11h do 13h, Plemljev seminar, Jadranska 19
5. 4. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa Torek, 5. 4. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 3. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih, 2. del Torek, 2. marec 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 2. 2010 | Mathematics and theoretical computing seminar Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih Torej, 23. 2. 2010, od 12h do 14, Plemljev seminar, Jadranska 21
25. 1. 2010 | Mathematics and theoretical computing seminar Matija Pretnar: Logika in prestrezanje algebrajskih učinkov Torek, 26. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 1. 2010 | Mathematics and theoretical computing seminar Matija Pretnar: Delovno okolje za matematike na Mac OS X, 2. del Torek, 19. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 1. 2010 | Mathematics and theoretical computing seminar Barak Pearlmutter: Axis of eval! Torek, 12. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007