Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday Monday | Tuesday | Wednesday | Thursday | Friday | |
---|
Monday June 15, 2009 |
---|
Motivations |
8:15am-8:45am | Registration and coffee | | Lind Hall 400 |
8:45am-9:00am | Welcome to the IMA | Fadil Santosa (University of Minnesota, Twin Cities)
| Lind 409 |
9:00am-10:30am | "Applied topology: motivations from data"
point-set topology intro
motivations from data, statistics, biology, etc. | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Applied topology: motivations from systems"
euler characteristic intro
motivations from networks, sensors, robotics, etc. | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | UMN robotics mixer | | Walter 402 |
3:30pm-3:40pm | Group photo | | |
3:45pm-5:00pm | Reception | | Lind Hall 400 |
Tuesday June 16, 2009 |
---|
Tools |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Homology 1"
intro to homology
simplicial, cellular, cech, & more: simple applications | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Homology 2"
morse, morse-conley, hodge & more: simple applications | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | The role of information in pursuit evasion: Graph theoretic models | Volkan Isler (University of Minnesota, Twin Cities)
| Lind 409 |
Wednesday June 17, 2009 |
---|
Computation |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Computing homology 1: theory"
intro to exact sequences
| Robert Ghrist (University of Pennsylvania)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Computing homology 2: practice"
intro to algorithms/software; plex
| Gunnar Carlsson (Stanford University)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Introduction to Jplex | Henry Adams (Stanford University)
| Lind 409 |
Thursday June 18, 2009 |
---|
Complexes |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Spaces 1: complexes"
cech, v-rips, witnesses, alpha, etc. & uses in data | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | Sensor networks and coverage | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Gait states for a torus and a disk: "How to talk with robots" | Frederick Cohen (University of Rochester)
| Lind 409 |
6:30pm-8:30pm | Workshop dinner at Kafe 421 | | Kafe 421
421 14th Avenue SE
Minneapolis, MN 55414
612-623-4900 |
Friday June 19, 2009 |
---|
Examples |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Visualizing data via homology"
image statistics data, range patches, neuroscience | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Network coverage via homology"
coverage in sensor networks
| Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Naive counting with sensors | Frederick Cohen (University of Rochester)
| Lind 409 |
Saturday June 20, 2009 |
---|
No events scheduled. |
Sunday June 21, 2009 |
---|
No events scheduled. |
Monday June 22, 2009 |
---|
Sensors |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Sheaves and Euler integration"
Euler integration and target enumeration | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Topological signal processing"
target localization; integral transforms and euler calculus | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Topological data analysis: Understanding optical flow | Henry Adams (Stanford University)
| Lind 409 |
Tuesday June 23, 2009 |
---|
Data |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Persistence and point clouds"
Functoriality, diagrams, difficulties in classifying diagrams,
multidimensional persistence, Gröbner bases | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Zig-zags and statistics"
bootstrap method, zig-zag
persistence, other applications of zig-zag persistence | Gunnar Carlsson (Stanford University)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Verified homology of nodal domains | William Kalies (Florida Atlantic University)
| Lind 409 |
Wednesday June 24, 2009 |
---|
Statistics |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Imaging data sets"
linear regression, projection pursuit, multidimensional scaling as
methods of imaging data sets | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Unimodal decompositions"
lyusternik-schnirelman category; unimodal category and
mode-decomposition in statistics; applications to coordinate-free
data | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:00pm | Lunch | | |
2:00pm-3:30pm | Computational Conley theory | William Kalies (Florida Atlantic University)
| Lind 409 |
Thursday June 25, 2009 |
---|
Computation & Software |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:30am | "Mapper for mapping"
mapper as an imager. Importance of mapping. Applications of homology
to mapping | Gunnar Carlsson (Stanford University)
| Lind 409 |
10:30am-11:00am | Coffee | | Lind Hall 400 |
11:00am-12:30pm | "Consensus and distributed computation"
not so sure about this one... | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
12:30pm-2:30pm | Lunch | | |
2:30pm-3:30pm | Introduction to homotopy limits and colimits | Gunnar Carlsson (Stanford University)
| Lind 409 |
Friday June 26, 2009 |
---|
Future Directions |
8:30am-9:00am | Coffee | | Lind Hall 400 |
9:00am-10:00am | "Topology & systems: The future" | Robert Ghrist (University of Pennsylvania)
| Lind 409 |
10:00am-10:30am | Coffee | | Lind Hall 400 |
10:30am-11:30am | "Topology & data: The future" | Gunnar Carlsson (Stanford University)
| Lind 409 |
11:30am-12:00pm | Closing discussions | | Lind 409 |