Andrej Bauer: Dinamične spletne strani z Djangom, 1. del
Torek, 5. 5. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
4. 5. 2009
Jens Blanck: Domain representations of spaces of compact subsets
Torek, 21. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
17. 4. 2009
Gregor Dolinar: Kardinalna in ordinalna aritmetika
Torek, 14. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 4. 2009
Preddoločanje za začetnike
Mathematics and theoretical computing seminar
3. 4. 2009
Gregor Dolinar: Konstrukcija ⎕ω₁, 2. del
Torek, 7. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 4. 2009
Gregor Dolinar: Konstrukcija ⎕ω₁, 1. del
Torek, 31. marec 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 3. 2009
Zvonko Iljazović: Chainable and circularly chainable co-r.e. sets in computable metric spaces
Torek, 24. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
23. 3. 2009
Matija Pretnar: Prestrezniki algebrajskih učinkov
Torek, 17. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
16. 3. 2009
Andrej Bauer: Kako primerjamo programske jezike, 2. del
Torek, 10. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
9. 3. 2009
Andrej Bauer: Kako primerjamo programske jezike
Torej 3. 3. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
2. 3. 2009
Andrej Bauer: Topološki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov
Torek 24. 2. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
23. 2. 2009
Andrej Bauer: Izreki o negibnih točkah v efektivnem toposu
Torek 20. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
19. 1. 2009
Seminar za osnove 13. 1. 2009 gostuje pri seminarju za diskretno matematiko
Torek 13. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 1. 2009
Andrej Bauer in Matija Pretnar: A first look at F/X
Torek 6. 1. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19, Ljubljana
Mathematics and theoretical computing seminar
5. 1. 2009
Matija Pretnar, Andrej Bauer: Evaluacijske strategije v programskih jezikih
Torek 16. 12. 2008, do 10h do 12h, Plemljev seminar, Jadranska 19.
Mathematics and theoretical computing seminar
15. 12. 2008
France Dacar: Supremumi družin operatorjev zaprtja
Torek 25. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 11. 2008
Davorin Lešnik: Napolnitev metričnih prostorov v konstruktivni matematiki
Torek 11.11.2008, od 10h do 12h, Plemljev seminar na Jadranski 19
Mathematics and theoretical computing seminar
7. 11. 2008
Matija Pretnar: Taktike v Coqu
Torek 4. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 11. 2008
Iztok Kavkler: Učinkovito računanje s Cauchyjevimi realnimi števili
Torek, 28.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 10. 2008
Andrej Bauer: Učinkovito računanje z Dedekindovimi realnimi števili
Torek 21.10.2008, od 12h do 14h, soba 3.07 na Jadranski 21
Mathematics and theoretical computing seminar
19. 10. 2008
