Domov > Obvestila > Seminar za osnove matematike in teoretičnega računalništva v letu 2015

Seminar za osnove matematike in teoretičnega računalništva v letu 2015

Obvestila iz tega vira želim prejemati preko elektronske pošte »

21. 12. 2015 | Seminar za osnove matematike in teoretičnega računalništva Marco Paviotti - Synthetic Guarded Domain Theory: Recursion in Guarded Recursion Torek, 22. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
15. 12. 2015 | Seminar za osnove matematike in teoretičnega računalništva Noam Zeilberger: Connections between lambda calculus and graphs on surfaces Torek, 15. 12. 2015, od 12:30 do 14:00, Plemljev seminar, Jadranska 19
7. 12. 2015 | Seminar za osnove matematike in teoretičnega računalništva Niels Vorneeveld: Representability in partial combinatory algebras Torek, 8. 12. 2015, od 12h do 14h, Plemljeve seminar, Jadranska 19
30. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Domain Theory for Real number computation 2 Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Domain theory for real number computation Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Jeff Egger: On the social life of generalised Hilbert objects Torek, 17. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
9. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Burak Ekici: Relative Hilbert-Post completeness for exceptions Torek, 10. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva 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
2. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Relational parametricity for polymorphic lambda-calculus Torek, 3. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
26. 10. 2015 | Seminar za osnove matematike in teoretičnega računalništva Frédéric Bour & Philipp Haselwarter: Error-tolerant parsing with Menhir Torek, 27. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
19. 10. 2015 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Polymorphic lambda-calculus Torek, 20. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
4. 9. 2015 | Seminar za osnove matematike in teoretičnega računalništva 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
12. 11. 2015 | Seminar za osnove matematike in teoretičnega računalništva Ohad Kammar: A denotational semantics for Hindley-Milner polymorphism Torek, 25. 8. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 5. 2015 | Seminar za osnove matematike in teoretičnega računalništva Tom Schrijvers: GADTs Meet their Match Torek, 26. 5. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 4. 2015 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Kako za tisočkrat pohitrimo Eff Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 4. 2015 | Seminar za osnove matematike in teoretičnega računalništva Pierre-Marie Pédrot: Can Dialectica Break Bricks? Torek, 13. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Implementacija teorije tipov s pravilom refleksije Torek, 31. marec 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Modalities of effectful computation Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva 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
2. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva 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
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007