Alex Simpson: Fibrational Models for Relational Parametricity
Torek, 05. 04. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 4. 2016
Matthias Schröder: Sequentially locally convex QCB-spaces
Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 2. 2016
Andrej Bauer: On self-interpreters for lambda calculi
Torek, 23. 2. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
22. 2. 2016
Egbert Rijke: The loop space of the 2-sphere
Torek, 26. 1. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 1. 2016
Willem Fouché: On infinitesimal stochastic independence
Četrtek, 28. januarja 2016, ob 14:15 v predavalnici 3.05 na FMF, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
25. 1. 2016
Matija Pretnar: Za algebrajske učinke in prestreznike ne potrebujemo omejitve na vrednosti
Torek, 12. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
11. 1. 2016
Aleš Bizjak: Guarded Dependent Type Theory: Syntax and Semantics
Torek, 5. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 1. 2016
Marco Paviotti - Synthetic Guarded Domain Theory: Recursion in Guarded Recursion
Torek, 22. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
21. 12. 2015
Noam Zeilberger: Connections between lambda calculus and graphs on surfaces
Torek, 15. 12. 2015, od 12:30 do 14:00, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 12. 2015
Niels Vorneeveld: Representability in partial combinatory algebras
Torek, 8. 12. 2015, od 12h do 14h, Plemljeve seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 12. 2015
Andrej Bauer: Domain Theory for Real number computation 2
Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
30. 11. 2015
Andrej Bauer: Domain theory for real number computation
Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 11. 2015
Jeff Egger: On the social life of generalised Hilbert objects
Torek, 17. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 11. 2015
Burak Ekici: Relative Hilbert-Post completeness for exceptions
Torek, 10. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 11. 2015
David Schrittesser: How complex must a set be in order to be non-measurable?
Petek, 6. 11. 2015, od 11h do 13h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 11. 2015
Alex Simpson: Relational parametricity for polymorphic lambda-calculus
Torek, 3. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 11. 2015
Frédéric Bour & Philipp Haselwarter: Error-tolerant parsing with Menhir
Torek, 27. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
26. 10. 2015
Alex Simpson: Polymorphic lambda-calculus
Torek, 20. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 10. 2015
Neil Ghani: "Towards Higher Dimensional Parametricity"; and David Ellerman: "The Logic of Partitions"
Torek, 8. 9. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 9. 2015
Ohad Kammar: A denotational semantics for Hindley-Milner polymorphism
Torek, 25. 8. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
24. 8. 2015
