Videos

Start date cannot be after end date.
Formal Abstract Homotopy Theory Thumbnail

Formal Abstract Homotopy Theory

Presenter
  • Jeremy Avigad
February 28, 2013
IAS

Combinatorial Representation Theory- Alcove-path models and Macdonald polynomials Part 1

Presenter
  • Cristian Lenart
February 27, 2013
ICERM
Semantics of Higher Inductive Types Thumbnail

Semantics of Higher Inductive Types

Presenter
  • Michael Shulman
February 27, 2013
IAS

Schubert varieties and Schubert calculus

Presenter
  • Sara Billey
February 27, 2013
ICERM
Math in China, India, and the West— Can We Compare Their Achievements Objectively? Thumbnail

Math in China, India, and the West— Can We Compare Their Achievements Objectively?

Presenter
  • David Mumford
February 27, 2013
IMA

Joint IMA/Mathematics and Climate Research Network Seminar

February 26, 2013
IMA
Derandomizing BPL? Thumbnail

Derandomizing BPL?

Presenter
  • Avi Wigderson
February 26, 2013
IAS

Joined-up modelling in ecology (and biosciences in general!): likelihood, Bayesian, and all that (Part 2)

Presenter
  • Mark Vanderwel
February 26, 2013
MBI

Joined-up modelling in ecology (and biosciences in general!): likelihood, Bayesian, and all that (Part 1)

Presenter
  • Drew Purves
February 26, 2013
MBI
Collective Phenomena, Collective Motion, and Collective Action in Ecological Systems Thumbnail

Collective Phenomena, Collective Motion, and Collective Action in Ecological Systems

Presenter
  • Simon Levin
February 25, 2013
IAS

Combinatorial Representation Theory- Alcove-path models and Macdonald polynomials

Presenter
  • Arun Ram
February 25, 2013
ICERM
Polar Codes and Randomness Extraction for Structured Sources Thumbnail

Polar Codes and Randomness Extraction for Structured Sources

Presenter
  • Emmanuel Abbe
February 25, 2013
IAS