Niels van der Weide: Construction of certain higher-inductive types as colimits
Četrtek, 15. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
13. 3. 2018
Andrej Bauer: Introduction to categorical logic II
Četrtek, 8. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
6. 3. 2018
Andrej Bauer: An introduction to categorical logic
Četrtek, 22. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
20. 2. 2018
Niels Voorneveld: Behavioural equivalence via modalities for algebraic effects
Četrtek, 15. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
12. 2. 2018
Alex Simpson: Contextual equivalence for algebraic effects under call-by-value, illustrated using combined probability and nondeterminism
Četrtek, 18. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
15. 1. 2018
Matija Pretnar: Explicit Effect Subtyping
Torek, 9. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
8. 1. 2018
Martina Seidl: Proof Systems for Practical QBF Reasoning
Četrtek, 14. 12. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 12. 2017
Andrej Bauer: Command-like expressions for real infinite-precision calculations
Torek, 5. 12. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 12. 2017
Fredrik Nordvall Forsberg: Alternative coding systems for inductive-recursive definitions
Torek, 21. 11. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 11. 2017
Francesco Gavazzo: An abstract account to behavioural equivalences and metrics for higher-order effectful language, part 2
Torek, 14. 11. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 11. 2017
Francesco Gavazzo: An abstract account to behavioural equivalences and metrics for higher-order effectful language.
Torek, 7. 11. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
6. 11. 2017
David Ellerman: New Foundations for Information Theory
Četrtek, 2. 11. 2017, od 12h do 13h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
1. 11. 2017
Sewon Park: Formal Verification in Imperative Multivalued Programming over Continuous Data Types
Torek, 24. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 10. 2017
Andrej Bauer: Fixed-point theorems in synthetic computability 2
Torek, 17. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 10. 2017
Andrej Bauer: Fixed-point theorems in synthetic computability
Torek, 10. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 10. 2017
Philipp Haselwarter: Extensional type theories for proof assistants
Torek, 3. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 10. 2017
Tom Schrijvers: Quantified Class Constraints
Torek, 19. 9. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 9. 2017
Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity
Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 4. 2017
Andrej Bauer: HoTT HITs
Torek, 11. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 4. 2017
Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 3
Torek, 7. 3. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 3. 2017
