Andrej Bauer: Formalizacija realnih števil
Torek, 29. 10. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
28. 10. 2013
Urban Jezernik: Še snopi v algebri
Torek, 28. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 5. 2013
Špela Špenko: Snopi v algebri
Torek, 21. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 5. 2013
Andrej Bauer: Spomladanski snopi iz dveh zornih kotov
Torek, 14. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 5. 2013
Andrej Bauer: Spomladanski snopi I
Torek, 23. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
22. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
15. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 2. del
Torek, 9. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
8. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Torek, 2. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
1. 4. 2013
Matija Pretnar: Monade in algebrajski učinki
Torek, 26. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 3. 2013
Matija Pretnar: Izpeljava tipov, 2. del
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
11. 3. 2013
Seminar za osnove jutri odpade
Seminar za temelje matematike in teoretično računalništvo
4. 3. 2013
Matija Pretnar: Izpeljava tipov
Torek, 26. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 2. 2013
Matija Pretnar: λ-račun s tipi
Torek, 19. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 2. 2013
Matija Pretnar: λ-račun
Torek, 15. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 1. 2013
Miha Habič: Turingovi stroji z neskončnim časom
Torek, 8. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 1. 2013
David Gajser: Kako preveriti, ali je nek 1-tračni Turingov stroj časovne zahtevnosti C n + D?
Torek, 18. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 12. 2012
Matija Pretnar: Induktivni tipi, jezik aritmetičnih izrazov
Torek, 11. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 12. 2012
Matija Pretnar: Semantika programskih jezikov, OCaml
Torek, 4. 12. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 12. 2012
Marko Petkovšek: (Ne)odločljivost obstoja polinomskih rešitev linearnih diferencialnih in (q-)diferenčnih enačb
Torek, 27. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
21. 11. 2012
David Gajser: Kako preveriti, ali je dani Turingov stroj konstantne časovne zahtevnosti?
Torek, 20. 11. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 11. 2012
