Start date cannot be after end date.
![Homotopy Type Theory: what can logic do for homotopy theory? Thumbnail](https://mathinstitutes.org/uploads/2021/07/images/10435_video_7439.jpg)
Homotopy Type Theory: what can logic do for homotopy theory?
Presenter
- Peter Lumsdaine
October 4, 2013
IAS
![The role of oscillatory entrainment in auditory selective attention Thumbnail](https://mathinstitutes.org/uploads/logos/12437_mbi.png )
The role of oscillatory entrainment in auditory selective attention
Presenter
- Peter Lakatos
March 21, 2013
MBI