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
Mathematics and theoretical computing seminar
6. 11. 2017
David Ellerman: New Foundations for Information Theory
Četrtek, 2. 11. 2017, od 12h do 13h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
23. 10. 2017
Andrej Bauer: Fixed-point theorems in synthetic computability 2
Torek, 17. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 10. 2017
Andrej Bauer: Fixed-point theorems in synthetic computability
Torek, 10. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 10. 2017
Philipp Haselwarter: Extensional type theories for proof assistants
Torek, 3. 10. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
2. 10. 2017
Tom Schrijvers: Quantified Class Constraints
Torek, 19. 9. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
18. 9. 2017
Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity
Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
18. 4. 2017
Andrej Bauer: HoTT HITs
Torek, 11. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
7. 3. 2017
Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 2
Torek, 28. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 2. 2017
Mehrdad Maleki: Differentiation in logical form
21. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 2. 2017
Davorin Lešnik: Theory of cuts
Torek, 14. 2. 2017, od 13h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
13. 2. 2017
Håkon Robbestad Gylterud: Iterative multisets and sets in homotopy type theory
Torek, 10. 1. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
9. 1. 2017
Alex Simpson: A generic operational meta-theory for algebraic effects
Torek, 13. 12. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 12. 2016
David Ellerman:From Abstract Objects in Mathematics to Objectively Indefinite States in Quantum Mechanics
Petek, 25. 11. 2016, od 12h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
25. 11. 2016
Peter LeFanu Lumsdaine: Coherence constructions for models of type theory
Torek, 22. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
21. 11. 2016
Andrej Bauer: Instance reducibilities
Torek, 15. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
14. 11. 2016
Matija Pretnar: Dokazovalni pomočnik Abella
Torek, 8. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
7. 11. 2016
Jaap van Oosten: Classical and relative realizability
Torek, 18. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 10. 2016
