| 8:00 - 9:00
| Refreshments and Registration
|
| 9:00 - 9:15
| Opening Remarks
|
| 9:15 - 10:15
| Invited Talk: Dr. Robert Constable
|
| "Building an Interactive Library of Formal Algorithmic Knowledge"
|
| Abstract
|
| 10:15 - 10:30
| Break
|
| 10:30 - 12:00
| Short Presentations
|
|
| Michael Kohlhase, "Integration of Formal Mathematical Theories:
|
| | A Challenge for NA-MKM"
|
| | Hyang Sook Kim and P. J. Ryan, "Teaching and Learning
Models
|
| | For Mathematics using Mathematica"
|
| | Constance Heitmeyer, "The Role of Mathematics in
Tool-Supported
|
| | Software Development"
|
| | Mark Bickford, "Illustrating Formal Digital Library (FDL)
|
| | Mechanisms with PVS Content"
|
| 12:00 - 1:30
| Lunch
|
| 1:30 - 2:30
| Invited Talk: Dr. Jacques Carette
|
| "Efficient Encodings of Mathematical Knowledge"
|
| Abstract
|
| 2:30 - 3:00
| Break
|
| 3:00 - 4:30
| Discussion on Future Directions for MKM
|
| 4:30 - 4:45
| End of Day Remarks
|