ATMCS 1 mirror archives
ATMCS 2 ran at the Department of Mathematics, University of Western Ontario, July 16-20, 2004
We also archive the original conference homepage.
ATMCS 2 presentations
The presentations of ATMCS 2 were:
- Saugata Basu, Efficient Algorithms for Computing the Betti Numbers of Semi-algebraic Sets
- Peter Bubenik, Towards a model category for local $po$-spaces
- Anne Collins, A Barcode Shape Descriptor for Curve Point Cloud Data
- Peter Csorba, Homotopy types of box complexes
- Vin de Silva, Harmonic methods in computational topology
- Robert Ghrist, The topology of reconfiguration (ppt)
- Eric Goubault, Algorithms for computing fundamental categories, and applications to the static analysis of concurrent programs
- Rick Jardine, Higher order automata, cubical sets, and some conjectures of Grothendieck
- Robert Kotiuga, Complexity and Tractability issues in Topological aspects of 3-D Computational Electromagnetics (ppt)
- Dmitry Kozlov, Topological Obstructions to Graph Colorings
- Reinhard Laubenbacher, A Mathematical Foundation for Computer Simulation. Video and Images.
- Frank Lutz, Graph Coloring Manifolds
- Philippe Malbos, Homotopical properties for concurrent systems
- Michael Postol, Computer Intrusion Detection Using Features From Graph Theory and Algebraic Topology (ppt)
- Stratos Prassidis, A Homotopic Approach to Mesh Generation
- Afra Zomorodian, Persistence Barcodes for Shapes