| Time | Talk |
|---|---|
| 8.30 to 8.35 | welcome |
| 8.35 to 9.35 | invited Talk: Stuart Aitken: Problem Solving in Interactive Proofand Programming: Knowledge-Modelling and Cognitive Approaches |
| 9.35 to 10.05 | Martin Strecker, Marko Luther, Matthias Wagner: Structuring and Using a Knowledge Base of Mathematical Concepts:A Type-Theoretic Approach |
| 10.05 to 10.35 | Jacques Calmet, Karsten Homann, Indra A. Tjandra: Hybrid Representation for Specification and Communication of Mathematical Knowledge |
| 10.35 to 11.00 | coffee break |
| 11.00 to 11.30 | Manfred Kerber: Requirements for Building up Large Mathematical Knowledge Bases |
| 11.30 to 12.00 | Detlef Fehrer: Why the Structure Encountered in Mathematical Textbooks is Adequate also for Automated Theorem Proving |
| 12.00 to 12.30 | Erica Melis: Two Requirements for the Representation of Proofs |
| 12.30 to 13.00 | John Harrison: Finding proofs and checking proofs |
| 13.00 to 14.00 | lunch break |
| 14.00 to 15.00 | invited Talk: Christoph Lingenfelder: Representation of proofs focused on proofs in mathematics |
| 15.00 to 15.30 | Elmar Eder: The role of definition and concept building in formal logical systems for mathematics |
| 15.30 to 16.00 | coffee break |
| 16.00 to 17.00 | invited Talk: Wolfgang Bibel: Mathematical knowledge representation from the view of theorem proving (some notes) |