[DAMTP/CMS Seminars RSS feed] DAMTP/CMS Seminars

Today 11:00

Concise - a synthesis of types, grammars, semantics
Arnold Neumaier (Universit├Ąt Wien)
Isaac Newton Institute Seminar Series

Today 15:30

Social Proof Seminar (coordinated by Fenner Tanswell)

Isaac Newton Institute Seminar Series

Tomorrow 11:00

Parametric Groebner basis computations and elimination
Deepak Kapur (University of New Mexico)
Isaac Newton Institute Seminar Series

Tomorrow 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 Series

Tomorrow 16:30

Categorical structures for type theory in univalent foundations"
Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique)
Isaac Newton Institute Seminar Series

Monday August 7 10:00

Physical oceanography: an applied mathematician's approach
Robin Johnson (Newcastle University)
Isaac Newton Institute Seminar Series