×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Seminar za osnove 22. in 29. 12. 2009 odpade

Datum objave: 21. 12. 2009
Seminar za temelje matematike in teoretično računalništvo
V letu 2009 smo zaključili s seminarji za osnove matematike in teoretičnega računalništva. Vsem udeležencem želimo obilo sreče v novem letu 2010!
sre
17
Jun
Felix Cherubini: Overtness in Synthetic Algebraic Geometry
Seminar za temelje matematike in teoretično računalništvo
13.15 - Jadranska 21, učilnica 1.01
čet
28
Maj
Andrew Swan: Cohomology in realizability models of HoTT
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
14
Maj
Anja Petković Komel: From smart contracts to proof assistants – the act verification framework for Ethereum smart contracts
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
9
Apr
Janoš Vidali: Automorphism group certificates for cubic vertex-transitive graphs
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
2
Apr
David Ellerman: A Fundamental Duality in the Exact Sciences – an Introduction to Mathematical Metaphysics
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07

Vsa obvestila