Egbert Rijke: Homotopy limits in type theory
Petek 7. 9. 2012 ob 13h, skupna soba 4.19 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
7. 9. 2012
Andrej Bauer: Cell types
Torek, 22. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
22. 5. 2012
Ganna Kudryavtseva: Stoneova dualnost za poševne mreže
Torek, 8. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
8. 5. 2012
Egbert Rijke: Quotients and isomorphism theorems in type theory
Torek, 10. 4. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 4. 2012
Egbert Rijke: Type theoretical Yoneda lemma
Torek, 3. 4. 2012, od 12h do 14h, Plemljev seminar
Seminar za temelje matematike in teoretično računalništvo
2. 4. 2012
Miha Habič: Eastonov izrek
Torek, 27. 3. 2012, od 12h do 14h, Plemljev seminar
Seminar za temelje matematike in teoretično računalništvo
26. 3. 2012
Miha Habič: Cohenovo preddoločanje in hipoteza kontinuuma
Torek, 19. 3. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 3. 2012
Miha Habič: Metoda preddoločanja skozi Boolove modele
Torek, 13. 3. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 3. 2012
Miha Habič: Boolovi modeli teorije množic
Torek, 6. 3. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 3. 2012
Egbert Rijke: The Circle in the Category of Groupoids
Torek, 28. 2. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 2. 2012
Andrej Bauer in Matija Pretnar: delavnica o strežniku Tomo in snjemanju video lekcij
Torek, 21. 2. 2012, od 10h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 2. 2012
Andrej Bauer in Matija Pretnar: Eff 3.0
Torek, 16. 1. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 1. 2012
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
