Start date cannot be after end date.
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Presenter
- Peter Aczel
February 7, 2013
IAS
What's happening with the World Digital Mathematics Library
Presenter
- Peter Olver
December 11, 2012
ICERM
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
Presenter
- Peter Dybjer
November 30, 2012
IAS
Construction of stochastic processes with singular jump characteristics as solutions of martingale problems
Presenter
- Peter Imkeller
October 23, 2012
IMA
Small time asymptotics for an additive functional of a fast diffusion process: moderate, large and superlarge deviations
Presenter
- Peter Baxendale
October 22, 2012
IMA