 DAMTP/CMS Seminars

Today 11:00
Concise  a synthesis of types, grammars, semantics
Arnold Neumaier (Universität Wien)
Isaac Newton Institute Seminar SeriesToday 15:30
Social Proof Seminar (coordinated by Fenner Tanswell)
Isaac Newton Institute Seminar SeriesTomorrow 11:00
Parametric Groebner basis computations and elimination
Deepak Kapur (University of New Mexico)
Isaac Newton Institute Seminar SeriesTomorrow 15:30
Simplicial and cubical sets  how they relate to each other (joint work with Chris Kapulkin)
Vladimir Voevodsky (Institute for Advanced Study, Princeton)
Isaac Newton Institute Seminar SeriesTomorrow 16:30
Categorical structures for type theory in univalent foundations"
Benedikt Ahrens (INRIA Rennes  Bretagne Atlantique)
Isaac Newton Institute Seminar SeriesMonday August 7 10:00
Physical oceanography: an applied mathematician's approach
Robin Johnson (Newcastle University)
Isaac Newton Institute Seminar Series