Noam Zeilberger: Connections between lambda calculus and graphs on surfaces
Torek, 15. 12. 2015, od 12:30 do 14:00, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
14. 12. 2015
Niels Vorneeveld: Representability in partial combinatory algebras
Torek, 8. 12. 2015, od 12h do 14h, Plemljeve seminar, Jadranska 19
Mathematics and theoretical computing seminar
7. 12. 2015
Andrej Bauer: Domain Theory for Real number computation 2
Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
30. 11. 2015
Andrej Bauer: Domain theory for real number computation
Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
16. 11. 2015
Burak Ekici: Relative Hilbert-Post completeness for exceptions
Torek, 10. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
5. 11. 2015
Alex Simpson: Relational parametricity for polymorphic lambda-calculus
Torek, 3. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
26. 10. 2015
Alex Simpson: Polymorphic lambda-calculus
Torek, 20. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
4. 9. 2015
Ohad Kammar: A denotational semantics for Hindley-Milner polymorphism
Torek, 25. 8. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
24. 8. 2015
Tom Schrijvers: GADTs Meet their Match
Torek, 26. 5. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 5. 2015
Matija Pretnar: Kako za tisočkrat pohitrimo Eff
Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 4. 2015
Pierre-Marie Pédrot: Can Dialectica Break Bricks?
Torek, 13. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
13. 4. 2015
Andrej Bauer: Implementacija teorije tipov s pravilom refleksije
Torek, 31. marec 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
30. 3. 2015
Alex Simpson: Modalities of effectful computation
Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
16. 3. 2015
Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups, part 2
Torek, 10. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 3. 2015
Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups
Torek, 3. marec 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
2. 3. 2015
Alex Simpson: Independence logic and randomness
Torek, 16. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 12. 2014
