| 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" 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" pdf photo | |
| Piotr Rudnicki, University of Alberta | |
| "On a Repository of Formalized Mathematics" pdf photo | |
| Lori Lorigo, Cornell University | |
| "Services of the Formal Digital Library and Proof Sharing" Powerpoint photo | |
| Susan Hezlet, London Mathematical Society | |
| "The Open Archives Initiative and Payment Models -- A Learned Society Publisher's Perspective" Powerpoint photo | |
| 12:00 - 1:30 | Lunch |
| 1:30 - 2:45 | Invited Talk |
| Dr. Jonathan Borwein, Dalhousie University | |
| "Advanced Collaborative Environments" pdf Powerpoint photo | |
| 2:45 - 3:15 | Break |
| 3:15 - 4:15 | Short Presentations |
| Jim Pitman, University of California at Berkeley | |
| "The Mathematics Survey"
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" pdf (Abstract) pdf (Presentation) photo | |
| Bruce R. Miller, National Institute of Standards and Technology | |
| "Authoring Mathematical Knowledge" pdf photo | |
| Bernd Wegner, Technische Universität Berlin | |
| "MoWGLI -- Mathematics in the Semantic Web" Powerpoint photo | |
| 4:15 - 4:30 | Break |
| 4:30 - 5:30 | Final Discussion and Business Meeting |
