×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Seminar za osnove 13. 1. 2009 gostuje pri seminarju za diskretno matematiko

Date of publication: 12. 1. 2009
Mathematics and theoretical computing seminar
Torek 13. 1. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar bo gostoval pri seminarju za diskretno matematiko, kjer bo predaval Tomaž Pisanski. Vabljeni!
Thu
11
Dec
Katja Berčič: Databases of mathematical structures for formalization and AI
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
4
Dec
Luna Strah: Heyting-valued Types
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
27
Nov
Andrej Bauer: Oracle modalities
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07

All news