Andrej Bauer in Karin Cvetko-Vah: Stoneova dualnost za poševne Boolove algebre
Torek, 29. 3. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
28. 3. 2011
Gordon Plotkin: Multi-level modelling via AC Stochastic Term Rewriting
Torek, 22. 3. 2011, od 112h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
21. 3. 2011
Matteo Mio: The probabilistic modal mu-calculus win independent product
Torek, 18. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 1. 2011
Aleš Bizjak: program za enumeracijo majhnih struktur, Gašper Ažman: risanje zelo velikih grafov
Torek, 11.1.2011, od 10h do 12h, Učilnica 2.03, Jadranska 21
Mathematics and theoretical computing seminar
7. 1. 2011
Alex Simpson: Three Resolutions of the Banach-Tarski Paradox - Resolution 3
Torek, 4. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 1. 2011
Alex Simpson: Three Resolutions of the Banach-Tarski Paradox
Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 12. 2010
Thomas Streicher: A Model of Intensional Type Theory in Simplicial Sets
Torek, 14. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
13. 12. 2010
Andrej Bauer: Kanovi kompleksi
Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
Mathematics and theoretical computing seminar
6. 12. 2010
Andrej Bauer: Simplicialne množice
Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
29. 11. 2010
Davorin Lešnik: Konstrukcije realnih števil
Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Mathematics and theoretical computing seminar
23. 11. 2010
Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov
Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
15. 11. 2010
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
Mathematics and theoretical computing seminar
1. 11. 2010
Jeff Egger: Categorical structures arising in Functional Analysis
Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 10. 2010
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
Mathematics and theoretical computing seminar
18. 10. 2010
Matija Pretnar: Programski jezik eff
Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
11. 10. 2010
Andrej Bauer in Alex Simpson: A jam session on Heyting implication
Torek, 5. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
4. 10. 2010
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
Mathematics and theoretical computing seminar
20. 9. 2010
Andrej Tomše: Izreka o kompaktnosti in popolnosti v logiki prvega reda
Torek, 1. 6. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
31. 5. 2010
Miha Jejčič: Goodsteinova zaporedja in hidre
Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
24. 5. 2010
Andrej Bauer: Gödelova "dialektika"
Torek 18.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 5. 2010
