Oleg Gutik: On compactifications of topological Brandt extensions of semitopological semigroups
Sreda, 24. 4. 2013, ob 10. uri, predavalnica 3.07, Jadranska 21/III.
Geometric topology seminar
19. 4. 2013
A. Bauer, Fundamentalna grupa krožnice v homotopski teoriji tipov
Na seminarju bom predstavil dokaz v homotopski teoriji tipov, da je fundamentalna grupa krožnice grupa celih števil. Pred tem bom predstavil še potrebno ozadje iz homotopske teorije tipov, ki leži na stičišču teorije tipov in homotopske teorije. V homotopski teoriji tipov krožnico definiramo neposredno s pomočjo univerzalne lastnosti, ki ji zadošča. Tako lahko govorimo o homotopiji ne da mi morali pred tem formulirati klasično topologijo, realna števila ipd.
Ta in mnoge bolj zahtevne izreke iz homotopske teorije smo razvili v sklopu programa Univalent Foundations na Institute for Advanced Study v Princetonu. Poročal bom tudi o samem programu in dogodkih, ki so se odvijali v tem akademskem letu.
Topology seminar
19. 4. 2013
Marko Razpet: Dase in dvesto decimalk krožne konstante
Ponedeljek, 22. 4. 2013, od 14h do 16h, Plemljev seminar, Jadranska 19
Seminar for history of mathematical sciences
17. 4. 2013
Miha Jejčič: APX-Hardness of MAX CLIQUE in Intersection Graphs of Ellipses (and Triangles)
Četrtek 18. 4. 2013 ob 12:15 v PS na Jadranski 19.
Graph theory and algorithms seminar
17. 4. 2013
Peter Kink: Brownovo gibanje na grupi ortogonalnih matrik
Četrtek, 18. april 2013, ob 14.30 v predavalnici 3.06 na Jadranski 21 v Ljubljani
Seminar for probability, statistics, and financial mathematics
16. 4. 2013
Boštjan Kovač: Aproksimacija krožnega loka (ukrivljenosti) z Bézierovimi krivuljami
Sreda 17. 4. 2013 od 10h do 11h, soba 3.06 na Jadranski 21
Numerical analysis seminar
16. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
15. 4. 2013
Matjaž Omladič: Lastnosti končnih grup, porojene iz upodobitev
Sreda, 17. aprila 2013, ob 10. uri v Plemljevem seminarju, Jadranska 19/III, Ljubljana
Algebra seminar
14. 4. 2013
Barbara Drinovec Drnovšek: Utežena homogena Siciak-Zaharyutova ekstremalna funkcija
Complex analysis seminar
13. 4. 2013
Ž. Virk, Topologije na prostoru poti, 3. del
Ponedeljek, 15.4.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
13. 4. 2013
Blaž Mramor: Monotona variacijska rekurzivna zaporedja
Ponedeljek, 15.4.2013, ob 10.15, v predavalnici PS na Jadranski 19
Geometry seminar
12. 4. 2013
Prof. dr. Garth Dales: Large fields and algebras of continuous functions
Četrtek, 18. 4. 2013, ob 18:15 v predavalnici 2.02 na Jadranski 21.
Mathematics colloquium
12. 4. 2013
Oleg Gutik: H-complete topological semigroups and semilattices
Sreda, 17. 4. 2013, ob 10. uri, predavalnica 3.07, Jadranska 21/III.
Geometric topology seminar
12. 4. 2013
Garth Dales: Finitely-generated maximal left ideals in Banach algebras
Četrtek, 18. 4. 2013, ob 14.15, Plemljev seminar, Jadranska 19, Ljubljana
Functional analysis and algebra seminar
12. 4. 2013
Marko Đukić: Primeri optimizacijskih problemov v potniškem prometu
Torek, 16. 4. 2013 od 10h do 12h, Plemljev seminar, Jadranska 19
Discrete mathematics seminar
10. 4. 2013
Sergio Cabello: Parameterized Complexity of 1-Planarity
Četrtek 11. 4. 2013 ob 12:15 v PS na Jadranski 19.
Graph theory and algorithms seminar
10. 4. 2013
Milan Hladnik: Spektralne lastnosti hipercikličnih operatorjev
Četrtek, 11. 4. 2013, ob 12:30, v predavalnici 3.06 na Jadranski 21.
Operator theory seminar
9. 4. 2013
Gianni Bosi: The Choquet integral as a continuous certainty equivalent
Četrtek, 11. april 2013, ob 14.30 v predavalnici 3.06 na Jadranski 21 v Ljubljani
Seminar for probability, statistics, and financial mathematics
9. 4. 2013
Marjetka Krajnc: Dualna konstrukcija prostorskih racionalnih PH krivulj (2. del)
Sreda 10. 4. 2013 od 10h do 11h, soba 3.06 na Jadranski 21
Numerical analysis seminar
9. 4. 2013
Nino Bašić: Teorija karakterjev, 4. del: karakterji simetričnih grup
Torek, 9. 4. 2013 od 10h do 12h, Plemljev seminar, Jadranska 19
Discrete mathematics seminar
8. 4. 2013
