Ganna Kudryavtseva: Adjunctions between Boolean and skew Boolean algebras
Torek, 5. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 4. 2011
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
3. 1. 2011
Alex Simpson: Three Resolutions of the Banach-Tarski Paradox
Torek, 21. 12. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
13. 12. 2010
Andrej Bauer: Kanovi kompleksi
Torek, 7. 12. 2010, od 12h do 14 v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
6. 12. 2010
Andrej Bauer: Simplicialne množice
Torek, 30.11.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
29. 11. 2010
Davorin Lešnik: Konstrukcije realnih števil
Torek, 23.11.2010, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 11. 2010
Davorin Lešnik: Konstruktivne napolnitve metričnih prostorov
Torek, 15. 11. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
1. 11. 2010
Jeff Egger: Categorical structures arising in Functional Analysis
Torek, 26.10.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
18. 10. 2010
Matija Pretnar: Programski jezik eff
Torek, 12. 10. 2010, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
31. 5. 2010
Miha Jejčič: Goodsteinova zaporedja in hidre
Torek, 25.5.2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
24. 5. 2010
