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

Andrej Bauer: Kako izračunamo izid volitev v državni zbor

Datum objave: 25. 1. 2022
Seminar za temelje matematike in teoretično računalništvo
četrtek
27
januar
Ura:
10.00 - 12.00
Lokacija:
Jadranska 21, učilnica 3.07
ZOOM povezava
ID: 963 7253 5713

Postopek za izračun izidov volitev v državni zbor Republike Slovenije ureja pet členov Zakona o volitvah v državni zbor. Na seminarju se bomo prebili skozi pravniško terminologijo in jo predelali v algoritem.

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