William J. Bowman: Cur: Designing a less devious proof assistant
Četrtek, 25. 6. 2020, od 17:00 do 18:00 , spletni seminar
Mathematics and theoretical computing seminar
23. 6. 2020
Anja Petković: Equality checking for Finitary type theories
Četrtek, 18. 6. 2020, od 18:00 do 19:00 , spletni seminar
Mathematics and theoretical computing seminar
15. 6. 2020
Predstavitev rezultatov raziskovalnega dela pred zagovorom doktorske disertacije: Brett Simon Chenoweth, Topics in Complex Approximation Theory
Četrtek, 18.06.2020 ob 12:00, preko ZOOMa
Complex analysis seminar
14. 6. 2020
Conor McBride: Epigram 2: Autopsy, Obituary, Apology
Četrtek, 11. 6. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
10. 6. 2020
Matematično predavanje dr. Alessandra Michelangelija
V petek, 12. 6. 2020, ob 11:15 uri na daljavo (videokonferenca preko aplikacije ZOOM)
Mathematics lecture
9. 6. 2020
Balazs Pozsgay: Algebraic construction of current operators in integrable spin chains
Četrtek 11.6.2020, ob 14:00h, preko Zooma.
Več informacij na spletni strani seminarja https://chaos.fmf.uni-lj.si/
Mathematical physics seminar
9. 6. 2020
Matematično predavanje dr. Csille Bujtás
V torek, 9. 6. 2020, ob 12.15 uri na daljavo (videokonferenca preko aplikacije ZOOM)
Mathematics lecture
4. 6. 2020
Matematično predavanje dr. Aleša Vavpetiča
V ponedeljek, 8. 6. 2020, ob 12.15 uri na daljavo (videokonferenca preko aplikacije ZOOM)
Mathematics lecture
4. 6. 2020
Berislav Buča: Non-stationary quantum many-body dynamics and synchronization
Četrtek 4.6.2020, ob 13:00h, preko Zooma.
Več informacija na spletni strani seminarja https://chaos.fmf.uni-lj.si/
Mathematical physics seminar
2. 6. 2020
Jon Sterling: redtt and the future of Cartesian cubical type theory
Četrtek, 4. 6. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
2. 6. 2020
Matjaž Konvalinka: Matrike z alternirajočim predznakom
Torek, 9. 6. 2020, od 10h do 12h, na daljavo
Discrete mathematics seminar
31. 5. 2020
Matematično predavanje dr. Urbana Jezernika
V torek, 2. 6. 2020, ob 12:15 uri na daljavo (videokonferenca preko aplikacije ZOOM)
Mathematics lecture
29. 5. 2020
Javno predavanje dr. Matjaža Konvalinke
V torek, 9. 6. 2020, ob 10.15 uri na daljavo (videokonferenca preko aplikacije ZOOM).
Mathematics lecture
28. 5. 2020
Nikola Kovačević: On the irreducibility of commuting variety of reductive Lie algebras
Moravec Primož is inviting you to a scheduled Zoom meeting.
Topic: Safa Nikola Kovacevic
Time: May 28, 2020 12:30 PM Europe/Ljubljana
Join Zoom Meeting
https://zoom.us/j/93655826979?pwd=OC9YOVpSSkNuKzUyZVJuNzN6d1pXUT09
Meeting ID: 936 5582 6979
Password: nikola
One tap mobile
+38618888788,,93655826979# Slovenia
+38616003102,,93655826979# Slovenia
Algebra and functional analysis seminar
25. 5. 2020
Bor Plestenjak: Občutljivost lastnih vrednosti singularnih matričnih šopov
Sreda, 27. 5. 2020, od 10h do 11h preko sistema Zoom
Numerical analysis seminar
25. 5. 2020
Brigitte Pientka: Mechanizing Meta-Theory in Beluga
Četrtek, 28. 5. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
25. 5. 2020
Marko Medenjak: Dissipative Bethe Ansatz: Exact Solutions of Quantum Many-Body Dynamics Under Loss
Thursday 28.5.2020, at 14:00h, via Zoom.
Details and meeting ID available on the seminar homepage https://chaos.fmf.uni-lj.si/.
Mathematical physics seminar
25. 5. 2020
Erik Langerholc: Doslednost slučajnih gozdov
Četrtek, 28. 5., ob 14:15 na daljavo
Seminar for probability, statistics, and financial mathematics
25. 5. 2020
Eva Zmazek: Strong edge geodetic problem
Torek, 26. 5. 2020, od 10h do 12h, na daljavo
Discrete mathematics seminar
24. 5. 2020
Marjeta Knez: Prostori C^1 super-zlepkov nad mešanimi mrežami (3. del)
Sreda, 20. 5. 2020, od 10h do 11h preko sistema Zoom
Numerical analysis seminar
20. 5. 2020
