| 8:30 - 9:00 | Refreshments and Registration |
| 9:00 - 9:15 | Opening Remarks |
| 9:15 - 10:30 | Invited Talk |
| Dr. Daniel W. Lozier, National Institute of Standards and Technology | |
| "MKM and the NIST Digital Library of Mathematical Functions" Abstract PowerPoint Photo | |
| 10:30 - 10:45 | Break |
| 10:45 - 12:00 | Short Presentations |
| Ben L. Di Vito, NASA Langley Research Center | |
| "Hypatheon: A Mathematical Database for PVS Users" Abstract PDF Photo | |
| Piotr Rudnicki, University of Alberta | |
| "On a Repository of Formalized Mathematics" Abstract PDF Photo | |
| Lori Lorigo, Cornell University | |
| "Services of the Formal Digital Library and Proof Sharing" Abstract PowerPoint Photo | |
| Susan Hezlet, London Mathematical Society | |
| "The Open Archives Initiative and Payment Models -- A Learned Society Publisher's Perspective" Abstract PowerPoint Photo | |
| 12:00 - 1:30 | Lunch |
| 1:30 - 2:45 | Invited Talk |
| Dr. Jonathan Borwein, Dalhousie University | |
| "Advanced Collaborative Environments" Web site PowerPoint Photo | |
| 2:45 - 3:15 | Break |
| 3:15 - 4:15 | Short Presentations |
| Jim Pitman, University of California at Berkeley | |
| "The Mathematics Survey"
Web site
PDF
Photo
Please look also at J. Pitman's paper "A strategy for open access to society publications". | |
| Elena Smirnova, Stephen M. Watt, University of Western Ontario | |
| "An Approach to Mathematical Notation Selection" Abstract PDF Photo | |
| Bruce R. Miller, National Institute of Standards and Technology | |
| "Authoring Mathematical Knowledge" Abstract PDF Photo | |
| Bernd Wegner, Technische Universität Berlin | |
| "MoWGLI -- Mathematics in the Semantic Web" Abstract PowerPoint Photo | |
| 4:15 - 4:30 | Break |
| 4:30 - 5:30 | Final Discussion and Business Meeting |
