Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: A Quillen Model Structure in Type Theory Peter LeFanu Lumsdaine S-101
13:00	13:30 - 15:00 Working Group on Univalent Foundations S-101
14:00	14:00 - 15:00 Topology: Visualizing and Exploring Molecular Simu... Yusu Wang Proteomics Bldg. 120, Rutgers, The State University of New Jersey
15:00	15:30 - 16:30 Topology: Community Structure in Networks Mason Porter Proteomics Bldg. 120, Rutgers, The State University of New Jersey
17:00	17:00 - 18:00 Topology: Linear Algebra over Cell Complexes: Appl... Justin Curry Proteomics Bldg. 120, Rutgers, The State University of New Jersey
18:00	18:00 - 19:30 Mathematical Conversations: What is a Higher Order Object? Nils Baas Dilworth Room