×
Š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!
čet
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
23
Okt
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
16
Okt
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
25
Sep
Matija Pretnar: Simetrično programiranje
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.04

Vsa obvestila