Domov > Obvestila > Seminar za temelje matematike in teoretično računalništvo v letu 2018

Seminar za temelje matematike in teoretično računalništvo v letu 2018

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

17. 12. 2018 | Seminar za temelje matematike in teoretično računalništvo Alex Simpson: Programming with Streams of Correlated Random Variables Četrtek, 20. 12. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
3. 12. 2018 | Seminar za temelje matematike in teoretično računalništvo Gavin Bierman: The Wonder of Cricket Četrtek, 6. 12. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
27. 11. 2018 | Seminar za temelje matematike in teoretično računalništvo Žiga Lukšič: Types with local algebraic theories Četrtek, 29. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
20. 11. 2018 | Seminar za temelje matematike in teoretično računalništvo Edward William Ayers: Human-like automated reasoning Četrtek, 22. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
12. 11. 2018 | Seminar za temelje matematike in teoretično računalništvo Gavin Bierman: Future directions for Java Četrtek, 15. 11. 2018, od 12h do 14h, učilnica 3.07, Jadranska 21
7. 11. 2018 | Seminar za temelje matematike in teoretično računalništvo Philipp Georg Haselwarter: Andromeda 2.0 Četrtek, 8. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
19. 10. 2018 | Seminar za temelje matematike in teoretično računalništvo Alex Simpson: Synthetic probability theory Četrtek, 25. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
16. 10. 2018 | Seminar za temelje matematike in teoretično računalništvo Zvonko Iljazović: Computable topological type Četrtek, 18. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
8. 10. 2018 | Seminar za temelje matematike in teoretično računalništvo Danel Ahman: Directed Containers (or monoids, actions, dependent types, and more) Četrtek, 11. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
1. 10. 2018 | Seminar za temelje matematike in teoretično računalništvo Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions (part 2) Četrtek, 4. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
17. 9. 2018 | Seminar za temelje matematike in teoretično računalništvo David Ellerman: A graph-theoretic algorithm to define any Boolean operation on set partitions Četrtek, 20. 9. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
10. 9. 2018 | Seminar za temelje matematike in teoretično računalništvo Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions Četrtek, 13. 9. 2018, ob 13:15 v predavalnici 3.07 na Jadranski 21
31. 7. 2018 | Seminar za temelje matematike in teoretično računalništvo Matija Pretnar: Logika z lokalnimi algebrajskimi teorijami Sreda, 1. 8. 2018, ob 11:15 v predavalnici 3.07 na Jadranski 21
22. 6. 2018 | Seminar za temelje matematike in teoretično računalništvo Matteo Mio: Axiomatisation of Probabilistic Logics Torek, 26. 6. 2018, od 12h do 14h, 3.04 na Jadranski 21
28. 5. 2018 | Seminar za temelje matematike in teoretično računalništvo Danel Ahman: A fibrational view on computational effects Četrtek, 31. 5. 2018, od 11h do 13h, 3.07 na Jadranski 21
8. 5. 2018 | Seminar za temelje matematike in teoretično računalništvo Matija Pretnar: Prestrezniki algebrajskih učinkov Sreda, 9. 5. 2018, ob 13:15 v predavalnici P02 na Jadranski 21
11. 4. 2018 | Seminar za temelje matematike in teoretično računalništvo Matija Pretnar: Odstopajoči obhodi / Quirky traversals Četrtek, 12. 4. 2018, od 11h do 13h, 3.07 na Jadranski 21
21. 3. 2018 | Seminar za temelje matematike in teoretično računalništvo Andrej Bauer: All metric spaces are separable Četrtek, 22. 3. 2019, učilnica 3.07, Jadranska 21
13. 3. 2018 | Seminar za temelje matematike in teoretično računalništvo 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
6. 3. 2018 | Seminar za temelje matematike in teoretično računalništvo Andrej Bauer: Introduction to categorical logic II Četrtek, 8. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
20. 2. 2018 | Seminar za temelje matematike in teoretično računalništvo Andrej Bauer: An introduction to categorical logic Četrtek, 22. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
12. 2. 2018 | Seminar za temelje matematike in teoretično računalništvo Niels Voorneveld: Behavioural equivalence via modalities for algebraic effects Četrtek, 15. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
15. 1. 2018 | Seminar za temelje matematike in teoretično računalništvo 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
8. 1. 2018 | Seminar za temelje matematike in teoretično računalništvo Matija Pretnar: Explicit Effect Subtyping Torek, 9. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Arhiv za leto: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007