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

Tomaž Pisanski: Delavnica Sage

Datum objave: 20. 5. 2014
Seminar za temelje matematike in teoretično računalništvo
Torek, od 10h do 12h, Plemljev seminar, Jadranska 19

[Pozor: danes se bo seminar združil s seminarjem za diskretno matematiko in bo od 10h do 12h.]

Na seminarju bomo spoznali, kako lahko sodelujemo pri razvoju programa Sage. S seboj prinesite prenosnik.

Vabljeni! 

čet
10
Okt
Andrew Swan: Computable and non-computable 2-groups
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
22
Avg
Filip Koprivec: Efficient multishot algebraic effect handlers (presentation of results of doctoral research)
Seminar za temelje matematike in teoretično računalništvo
10.15 - predavalnica 3.07, Jadranska 21
čet
27
Jun
Sina Hazratpour: Polynomial Functors in Lean 4
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.06
čet
6
Jun
Fredrik Bakke & Egbert Rijke
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
30
Maj
Andrew Swan: Oracle modalities
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07

Vsa obvestila