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

Matthias Schröder: Sequentially locally convex QCB-spaces

Datum objave: 27. 2. 2016
Seminar za temelje matematike in teoretično računalništvo
Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
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