| Sunday |
| 9.30 - 10.30 | Invited talk: A Comparison of Mathematical Indexing Schemes.
Dana Scott |
| 10.30 - 11.00 | Coffee Break |
| 11.00 - 11.30 | Digitisation, Representation and Formalisation:
Digital Libraries of Mathematics.
Andrew Adams. |
| 11.30 - 12.00 | MKM from book to computer.
James Davenport. |
| 12.00 - 12.30 | From Proof-Assistants to Distributed Libraries of Mathematics: Tips And Pitfalls.
Claudio Sacerdoti Coen. |
| Lunch |
| 14.30 - 15.00 | Managing Digital Mathematical Grey Literature.
Jonathan Borwein, Terry Stanway. |
| 15.00 - 15.30 | The NAG Library Documentation.
David Carlisle, Mike Dewar. |
| 15.30 - 16.00 | On the Roles of LaTeX and MathML in Encoding and Processing of Mathematical Expression.
Luca Padovani. |
| 16.00 - 16.30 | Coffee Break |
| 16.30 - 17.00 | Problems and Solutions for Markup for Mathematical Examples and Exercises.
Georgi Goguadze, Erica Melis, Paul Cairns. |
| 17.00 - 17.30 | An Annotated Corpus and Grammar Model of Theorem Description.
Yusuke Baba, Masakazu Suzuki. |
| 17.30 - 18.00 | Access to Mathematics online through
EULER and EMIS (off proceedings).
Bernd Wegner, Michael Jost |
| Monday |
| 9.00 - 9.30 | LIMES - an Architecture for Distributed
Database Input (off proceedings)
Michael Jost, Bernd Wegner |
| 9.30 - 10.30 | Invited talk.
Massimo Marchiori |
| 10.30 - 11.00 | Coffee Break |
| 11.00 - 11.30 | A Query Language for a Metadata Framework about Mathematical Resources.
Irene Schena, Ferruccio Guidi. |
| 11.30 - 12.00 | Information Retrieval in MML.
Grzegorz Bancerek, Piotr Rudnicki. |
| 12.00 - 12.30 | An Expert System for the Flexible Processing of XML-Based Mathematical Knuwledge in a PROLOG-Environment.
Bernd Heumesser, Dietmar Seipel, Ulrich Guntzer. |
| Lunch |
| Afternoon | Excursion to Ravenna. |
| Tuesday |
| 9.00 - 9.30 | Using Metadata in
Math-Net (off proceedings).
Wolfram Sperber. |
| 9.30 - 10.00 | Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.
Michael Kohlhase, Romeo Anghelache. |
| 10.00 - 10.30 | On the Integrity of a Repository of
Formalized Mathematics.
Piotr Rudnicki, Andrzej Trybulec. |
| 10.30 - 11.00 | Coffee Break. |
| 11.00 - 11.30 | A Theoretical Analysis of Hierarchical Proofs.
Paul Cairns, Jeremy Gow. |
| 11.30 - 12.00 | Comparing mathematical provers.
Freek Wiedijk. |
| 12.00 - 12.30 | Translating Mizar for First Order Theorem Provers.
Josef Urban. |