Andrej Bauer in Matija Pretnar: Igramo se s Coqom in Haskellom
Četretek, 13.3.2008 od 14h do 16h, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
13. 3. 2008
Andrej Bauer: Analiza v sintetični izračunljivosti
Četrtek, 6.3.2008, od 14h do 16h, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
5. 3. 2008
Andrej Bauer: Sintetična izračunljivost, 3. del
Četretek 21.2.2008, od 14h do 16h, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
20. 2. 2008
Andrej Bauer: Sintetična izračunljivost, 2. del
Četrtek, 14.2.2008, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
13. 2. 2008
Andrej Bauer: Sintetična izračunljivost
Četrtek 24.1.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Mathematics and theoretical computing seminar
22. 1. 2008
Matija Pretnar: Logika algebrajskih učinkov, 2. del
Četrtek 17.1.2008, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
16. 1. 2008
Matija Pretnar: Logika algebrajskih učinkov
Četrtek, 10.1.2008, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
9. 1. 2008
Andrej Bauer: Interpretacija logike z realizabilnostjo
Četrtek 13.12.2007 od 14h do 16h v sobi 3.07, Jadranska 21
Mathematics and theoretical computing seminar
12. 12. 2007
Andrej Bauer: Efektivni topos, 2. del
Četrtek 6.12.2007 od 14h do 16h v sobi 3.07 na Jadranski 21
Mathematics and theoretical computing seminar
6. 12. 2007
Andrej Bauer: Efektivni topos
Četrtek 29. 11. 2007, od 14h do 16h v sobi 3.07, Jadranska 21
Mathematics and theoretical computing seminar
27. 11. 2007
Davorin Lešnik: Snopi kot model sintetične topologije, 2. del
Četrtek, 22.10.2007 od 14h do 16h, soba 3.07, Jadranska 21
Mathematics and theoretical computing seminar
21. 11. 2007
Davorin Lešnik: Sintetična topologija, 3. del
Četrtek 15.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Mathematics and theoretical computing seminar
14. 11. 2007
Davorin Lešnik: Sintetična topologija, 2. del
Četrtek 8.11.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Mathematics and theoretical computing seminar
7. 11. 2007
Davorin Lešnik: Sintetična topologija
Četrtek 25.10.2007 od 14h do 16h, soba 3.07 na Jadranski 21.
Mathematics and theoretical computing seminar
23. 10. 2007
Andrej Bauer: Na prvi pogled nemogoči funkcionali
Četrtek 18.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
17. 10. 2007
Niels Schwartz: Categories of partially ordered rings II
Četrtek 11.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
8. 10. 2007
Categories of partially ordered rings I
Niels Schwartz: Četrtek 4.10.2007 od 14h do 16h, Jadranska 21, soba 3.07
Mathematics and theoretical computing seminar
3. 10. 2007
