| Home Page | Overview | Consortium | Bibliography | Members' Area | Contact | Links | FP6 |
| Sunday | ||
| 9.30 - 10.30 | Invited talk: A Comparison of Mathematical Indexing Schemes. Dana Scott | |
| 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. | |
| 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.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 | HTML |
| 9.30 - 10.30 | Invited talk. Massimo Marchiori | |
| 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. | |
| Tuesday | ||
| 9.00 - 9.30 | Using Metadata in
Math-Net (off proceedings). Wolfram Sperber. | HTML |
| 9.30 - 10.00 | Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. Michael Kohlhase, Romeo Anghelache. | PS, PDF |
| 10.00 - 10.30 | On the Integrity of a Repository of
Formalized Mathematics. Piotr Rudnicki, Andrzej Trybulec. | PDF, PS |
| 11.00 - 11.30 | A Theoretical Analysis of Hierarchical Proofs. Paul Cairns, Jeremy Gow. | HTML |
| 11.30 - 12.00 | Comparing mathematical provers. Freek Wiedijk. | DVI, PDF |
| 12.00 - 12.30 | Translating Mizar for First Order Theorem Provers. Josef Urban. | |
| Copyright Issues Andrew Adams. | ||
| A Plea for Using
Algebraic Specifications Franz Lichtenberger. | HTML |
| Home Page | Overview | Consortium | Bibliography | Members' Area | Contact | Links | FP6 |