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

Matija Pretnar: Delovno okolje za matematike na Mac OS X, 2. del

Datum objave: 18. 1. 2010
Seminar za temelje matematike in teoretično računalništvo
Torek, 19. 1. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19

Povzetek: To je drugi del delavnice o delovnem okolju za matematike na operacijskem sistemu Mac OS X. Prvi del se bo začel ob 10h v sklopu Seminarja za diskretno matematiko in ga bo vodil Boris Horvat.

Vabljeni!

č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