Videos

Start date cannot be after end date.
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS

Challenges In Mathematical Ecology: Scaling And Collective Phenomena

Presenter
  • Simon Levin
September 21, 2012
MBI
An Informal Mathematical Tour of Feature Learning Thumbnail

An Informal Mathematical Tour of Feature Learning

Presenter
  • Nando de Freitas
July 27, 2012
IPAM