ATMCS 1 mirror archives

ATMCS 2 ran at the Department of Mathematics, University of Western Ontario, July 16-20, 2004

• Lecture Schedule
• Abstracts

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