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

Gordon Plotkin: Multi-level modelling via AC Stochastic Term Rewriting

Date of publication: 21. 3. 2011
Mathematics and theoretical computing seminar
Torek, 22. 3. 2011, od 112h do 14h, Plemljev seminar, Jadranska 19

Seminar v tem semestru začenjamo s predavanjem prof. Gordona Plotkina iz univerze v Edinburghu.

Vabljeni! 

Thu
9
Apr
Janoš Vidali: Automorphism group certificates for cubic vertex-transitive graphs
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
2
Apr
David Ellerman: A Fundamental Duality in the Exact Sciences – an Introduction to Mathematical Metaphysics
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
12
Mar
Bastiaan Cnossen: Synthetic category theory in CaTT
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
5
Mar
Ivan Kobe: CaTT – The internal language of ω-categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
26
Feb
Mabel Najdovski: Extracting computational content from classical proofs
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07

All news