|
|
||
| 8:30 - 10:00 a.m. | Talks | |
| 8:30 - 8:45 | Welcome | |
| 8:45 - 9:30 | Invited Talk MathML on the Web: Using XSLT to Enable Cross-Platform Support for XHTML and MathML in Current Browsers David Carlisle | |
| 9:30 - 10:00 | An Object Model for Dynamic
Math Robert Miner | |
| 10:00 - 10:30 a.m. | Break | |
| 11:00 a.m. - noon | Talks | |
| 11:00 - 11:25 | Bringing MathML Content and
Presentation Markup to the Web with the IBM MathML Expression
Editor Samuel S. Dooley | |
| 11:30 - 11:55 |
An Interactive Mathematical Handwriting
Recognizer for the Pocket PC Bo Wan and Stephen Watt | |
| Noon - 1:30 p.m. | Lunch | |
| 1:30 - 3:00 p.m. | Talks | |
| 1:30 - 1:55 | Mappings between Presentation
Markup and Semantic Markup for Variable-Size Objects Bill Naylor | |
| 2:00 - 2:25 | MathML in the MOWGLI
Project Andrea Asperti and Michael Kohlhase | |
| 2:30 - 2:55 | Formal
Mathematical Proof Explanations in Natural Language Using MathML:
An Application to Proofs in Arabic Hanane Naciri and Laurence Rideau |
|
| 3:00 - 4:00 p.m. | Break and Poster/Demo Session | |
| 4:00 - 5:15 p.m. | Talks | |
| 4:00 - 4:25 | What's the
Use? Analysis of Real-World MathML and Web Browser Usage Andrew Hunt | |
| 4:30 - 5:15 | Invited Talk MathML amidst Open Web Standards: Mozilla's Building Blocks for Today and Tomorrow Roger B. Sidje |
|
| 5:30 - 7:00 p.m. | Dinner The Crossings | |
| 7:00 - 9:00 p.m. | Demos | |
| 7:00 - 7:15 | webMathematica: How to
Deliver Computational and Visualization Services from a Web Server Tom Wickham-Jones | |
| 7:20 - 7:35 | Essential Ingredients for
Mathematical Content Deployment on the Web: The MapleNet
Experience Paul Mansfield | |
| 7:40 - 7:55 | Two
Ways to Author for MathPlayer with WebEQ Robert Miner |
|
| 8:00 - 8:15 | techexplorer Sam Dooley | |
| 8:20 - 8:35 | Publicon 1.0:
Structured Document-Authoring System Demo Andre Kuzniarek |
|
| 8:40 - 8:55 | TeX and LaTeX in a MathML
Context Ivor Phillips and Stan Devitt | |
| ||
| 8:30 - 10:00 a.m. | Talks | |
| 8:30 - 8:55 | Connexions:
MathML and Collaborative Curriculum Development in Engineering Brent Hendricks, Ross Reedstrom, Richard Baraniuk, Don Johnson, Bill Wilson, and Geneva Henry | |
| 9:00 - 9:25 | Acquisition of Content:
MathML in an Academic Setting Michael Kohlhase, Matthew Szudzik, Dana Scott, and Klaus Sutner | |
| 9:30 - 9:55 | MathML in E-Learning with
Amaya Vincent Quint and Irène Vatton | |
| 10:00 - 10:30 a.m. | Break | |
| 11:00 a.m. - noon | Talk | |
| Invited Talk The Communication of Mathematics Leslie Lamport | ||
| Noon - 1:30 p.m. | Lunch | |
| 1:30 - 3:00 p.m. | Talks | |
| 1:30 - 1:55 | Implementing MathML in
Mathematica Jason Harris | |
| 2:00 - 2:25 | MathML in Maple Laurent Bernardin, James McCarron, and Douglas Harder | |
| 2:30 - 2:55 | A
Lisp Subset Based on MathML Yuzhen Xie, Stephen Watt, and Luca Padovani | |
| 3:00 - 3:30 p.m. | Break | |
| 3:30 - 4:25 p.m. | Talks | |
| 3:30 - 3:55 | A
Stand-Alone Rendering Engine for MathML Luca Padovani | |
| 4:00 - 4:25 | Content-Faithful
Transformations for MathML Sandy Huerter, Igor Rodionov, and Stephen Watt |
|
