×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Seminar za osnove bo na obisku pri seminarju za diskretno matematiko

Date of publication: 13. 10. 2008
Mathematics and theoretical computing seminar
Torek 14.10.2008, od 10h do 12h, Plemljev seminar, Jadranska 19

Letos bomo pogosto kombinirali seminarja za osnove in diskretno matematiko. Jutri, v torek 14.10.2008 bo seminar za osnove na obisku pri seminarju za diskretno matematiko, kjer bo Boris Horvat predstavil raziskave iz svojega doktorata. Vljudno vabljeni!

Naslednji teden bomo na seminarju za osnove pričeli s predavanji na temo računanja z realnimi števili.

Thu
12
Mar
Bastiaan Cnossen: Synthetic category theory in CaTT
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
5
Mar
Ivan Kobe: CaTT – The internal language of ω-categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
26
Feb
Mabel Najdovski: Extracting computational content from classical proofs
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
19
Feb
Hyunwoo Lee: Accelerating Exact Real Computation Using Dynamic Dependence Analysis
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
12
Feb
Ivan Kobe: (ω,1)-categories vs. topological categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07

All news