Danko Ilik: Formalising a Completeness theorem in Coq
Četrtek, 5.7.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
28. 5. 2008
Jean-Pierre Rosay: The Diederich-Sukhov-Tumanov normal form for almost complex structures
Complex analysis seminar
27. 5. 2008
Bojan Mohar: Extremal results for the sum of k largest eigenvalues of graphs
Thursday, May 29, 2008, at 12:15 in room PS, Jadranska 19
Graph theory and algorithms seminar
26. 5. 2008
Jean-Pierre Rosay: Bounded holomorphic functions and J-plurisubhamonicity
Complex analysis seminar
23. 5. 2008
Seminar 28.5. odpade.
Seminar 28.5. odpade.
Numerical analysis seminar
21. 5. 2008
Milan Hladnik: Amenabilnost posebnih algeber
Sreda, 21. maj 2008 ob 8.15 v Plemljevi sobi, Jadranska 19
Functional analysis and algebra seminar
20. 5. 2008
Gabriel Verret: Locally regular half-arc-transitive actions on graph of twice prime valency
Algebra seminar
19. 5. 2008
Andrej Vodopivec: The genus of Petersen powers
Thursday, May 22, 2008, at 12:15 in room PS, Jadranska 19
Graph theory and algorithms seminar
19. 5. 2008
Alojz Suhadolnik: Kače
Sreda 21.5.2008 od 10h do 11h, soba 3.07 na Jadranski 21
Numerical analysis seminar
16. 5. 2008
Irena Majcen: Vložitve Riemannovih ploskev v C^2
Complex analysis seminar
16. 5. 2008
Denise Halverson: Anomalies in high dimensional topology
Četrtek, 22. 5. 2008, ob 18.15 v predavalnici 2.02 na Jadranski 21.
Mathematics colloquium
15. 5. 2008
André Haefliger: Pseudogroups and foliations
Ponedeljek, 19. maja, 10:15 do 11:45, Plemljev seminar na Jadranski 19
Geometry seminar
15. 5. 2008
Peter Grandits: Optimal investment and optimal dividend strategies for an insurance company
Torek, 20.5.2008 ob 15h, soba 2.02 na Jadranski 21
Seminar for probability, statistics, and financial mathematics
15. 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
Mathematics and theoretical computing seminar
14. 5. 2008
Milan Hladnik: Kratka eksaktna zaporedja in amenabilnost
Sreda, 14. 5. 2008 ob 8.15 v Plemljevi sobi na Jadranski 19
Functional analysis and algebra seminar
12. 5. 2008
Janez Zgonc: Weierstrassove točke na Riemannovih ploskvah
Complex analysis seminar
11. 5. 2008
Andrej Muhič: Rešitev kvadratičnega dvoparametričnega problema lastnih vrednosti v generičnem primeru (2. del); Primož Peterlin: Od mikroskopske slike mehurčka do permeabilnosti fosfolipidne membrane
Sreda 14.5.2008 od 10h do 12h, soba 3.07 na Jadranski 21
Numerical analysis seminar
9. 5. 2008
Nika Novak: Model Gauss-Markova
Torek, 13.5.2008 ob 15h, soba 2.02 na Jadranski 21
Seminar for probability, statistics, and financial mathematics
8. 5. 2008
Primož Moravec: Močne p-grupe (Powerful p-groups).
Algebra seminar
8. 5. 2008
