Rok Strniša: Lastnosti dobrega modularnega sistema
Torek, 20. 4. 2010 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 4. 2010
Andrej Bauer: Matematična programska oprema s Pythonom
Torek, 13. 4. 2010, od 11h do 13h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 4. 2010
Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa
Torek, 5. 4. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 4. 2010
Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih, 2. del
Torek, 2. marec 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
1. 3. 2010
Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih
Torej, 23. 2. 2010, od 12h do 14, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
22. 2. 2010
Matija Pretnar: Logika in prestrezanje algebrajskih učinkov
Torek, 26. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 1. 2010
Matija Pretnar: Delovno okolje za matematike na Mac OS X, 2. del
Torek, 19. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 1. 2010
Barak Pearlmutter: Axis of eval!
Torek, 12. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 1. 2010
Seminar za osnove 22. in 29. 12. 2009 odpade
Seminar za temelje matematike in teoretično računalništvo
21. 12. 2009
Andrej Bauer: Kanonične izračunljive podalgebre klasičnih algeber
Torek, 15. 12. 2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 12. 2009
Danilo Šuster: Logika protidejstvenih pogojnikov
Torek, 8. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 12. 2009
Andrej Ule: Logična analiza, 2. del
Torek, 1. 12. 2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
30. 11. 2009
Andrej Ule: Logična analiza
Torek, 24. 11. 2009 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 11. 2009
Matija Pretnar: Brezplačni izreki!
Torek, 17.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 11. 2009
Andrej Bauer: Pa ne že spet uvod v monade!
Torek, 10.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 11. 2009
Karin Cvetko Vah: Mreže
Torek, 3.11.2009, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 11. 2009
Karin Cvetko Vah: Poševni Boolov izjavni račun
Torek, 27.10.2009, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
26. 10. 2009
Andrej Bauer: 2^(2^ℕ) = ℕ
Torek, 20.10.2009 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
19. 10. 2009
Seminar za osnove v letu 2009/2010
Torek, 6.10.2009, od 12h do 14h v Plemljevem seminarju, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 10. 2009
Paul Taylor: An Existential Quantifier for General Topology
Ponedeljek, 17. 8. 2009, od 16h do 18h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
15. 8. 2009
