Andrej Bauer: Izreki o negibnih točkah v efektivnem toposu
Torek 20. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
5. 1. 2009
Matija Pretnar, Andrej Bauer: Evaluacijske strategije v programskih jezikih
Torek 16. 12. 2008, do 10h do 12h, Plemljev seminar, Jadranska 19.
Seminar za temelje matematike in teoretično računalništvo
15. 12. 2008
France Dacar: Supremumi družin operatorjev zaprtja
Torek 25. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2008
Matija Pretnar: Taktike v Coqu
Torek 4. 11. 2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
19. 10. 2008
Seminar za osnove bo na obisku pri seminarju za diskretno matematiko
Torek 14.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 10. 2008
Seminar za osnove v letu 2008/09
Seminar se prične 14. 10. 2008 ob 12h.
Seminar za temelje matematike in teoretično računalništvo
7. 10. 2008
Paul Taylor: The importance of subspace topology
Četrtek 12.6.2007, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
12. 6. 2008
Danko Ilik: Formalising a Completeness theorem in Coq
Četrtek, 5.7.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
4. 6. 2008
Andrej Bauer: An Apocryphal Explanation of Abstract Stone Duality
Četrtek, 29. maj 2008, od 14h do 16h v 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
28. 5. 2008
Matija Pretnar: Še boljša formalizacija topologije v Coqu
Četrtek, 15.5.2008, od 14h do 16h v sobi 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
14. 5. 2008
Andrej Bauer: Formalizacija topologije v Coqu
Četrtek, 8.5.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
7. 5. 2008
Gregor Dolinar: Jensenov kvadratni princip
Četrtek, 3.4.2008 od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
31. 3. 2008
Steve Awodey: Topology and Modality
Četrtek, 26.3.2008 od 14h do 15:30, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
26. 3. 2008
Matija Pretnar: Implementacija CW kompleksov v OCamlu
Četrtek, 20.3.2008 od 14h do 16h, soba 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
20. 3. 2008
Andrej Bauer in Matija Pretnar: Igramo se s Coqom in Haskellom
Četretek, 13.3.2008 od 14h do 16h, soba 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
13. 3. 2008
