Davorin Lešnik: Metriziranost in kompaktnost v efektivnem toposu
Torek, 3. 1. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 1. 2012
Barak A. Pearlmutter: "Challenging The Optimally Hypothesis in Sensory Processing, Non-Psychotic Hallucinations, and The Visual Zwicker: Channeling Professor Brian O'Blivion"
Torek, 19. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 12. 2011
Andrej Bauer: Aksiom o univalentnosti
Torek, 13. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 12. 2011
Andrej Bauer: Homotopske ekvivalence in aksiom o univalentnosti
Torek, 6. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 12. 2011
Andrej Bauer: Homotopska teorija tipov v Coq-u
Torek, 15. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 11. 2011
Marko Limbek: Modalna logika, 2. del
Torek, 8. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2011
Marko Limbek: Modalna logika, 1. del
Torek, 25. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
24. 10. 2011
Matija Pretnar: Induktivni tipi v Coqu
Torek, 18. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 10. 2011
Matija Pretnar: Oh ta Coq
Torej, 11. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 10. 2011
Andrej Bauer: Logika iz geometrije
Torek, 4. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 10. 2011
David Ellerman: Interpreting Quantum Mechanics
Četrtek, 8. 9. 2011, ob 10:15 v predavalnici 2.05 na Jadranski 21.
Seminar za temelje matematike in teoretično računalništvo
5. 9. 2011
Steve Awodey: Homotopy Type Theory
Petek, 17. 6., od 10h do 12h, učilnica 3.04, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
15. 6. 2011
Jaap van Oosten: Some subtoposes of the effective topos
Torek, 7. 6. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
6. 6. 2011
Jernej Azarija in Nejc Trdin: Klasični izreki teorije izračunljivosti ni njihov pomen v programerski praksi
Torek, 30. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
30. 5. 2011
Robert Korež: Gelfandova dualnost za C*-algebre
Torek, 24. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 5. 2011
Andre Nies: Randomness and computable analysis, Alex Simpson: From the measure algebra isomorphism theorem to optimal data compression
Torek, 17. 5. 2011, od 10h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 5. 2011
Andrej Bauer: Tipi za eff
Torek, 10. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 5. 2011
Matija Pretnar: Algebrajski učinki 2.0
Torek, 3. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 5. 2011
Alex Simpson: On Proof by Infinite Descent
Torek, 19. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 4. 2011
João Pita Costa: A categorical approach to skew lattices
Torek, 12. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
11. 4. 2011
