8:30- 9:00 registration 9:00- 9:15 Bruno Buchberger Introduction to (address of welcome) Mathematical Knowledge Management 9:15-10:00 William M. Farmer A Formal Framework for (invited talk) Managing Mathematics 10:00-10:30 break 10:30-11:00 Till Mossakowski Heterogeneous Logics for Mathematical Knowledge Representation 11:00-11:30 Michael Kohlhase Using Logic Morphisms for Language Independence in Mathematical Knowledge Bases 11:30-12:00 Jim Caldwell, Stuart Interactive Digital Libraries Allen, Bob Costable of Formalized Algorithmic Knowledge 12:00-12:30 Christoph Designing Mathematical Schwarzweller Libraries Based on Minimal Requirements for Theorems 12:30-14:00 lunch 14:00-14:30 Piotr Rudnicki, Mathematical Knowledge Andrzej Trybulec Management in Mizar 14:30-15:00 Adam Grabowski Robbins Algebras vs. Boolean Algebras 15:00-15:30 Andrea Asperti Mathematical Knowledge Management in HELM 15:30-16:00 break 16:00-16:30 Peter Baumgartner Automated Deduction Techniques for the Management of Personalized Documents 16:30-17:00 Christoph Benzmueller Using a Blackboard Architecture for Assertion Application in Proof Planning 17:00-17:30 Manasi Athale, Exchange of Mathematical Rahul Athale Information on the Web: Present and Future
9:00- 9:45 Gerhard O. Michler A Prototype of a Linked, (invited talk) Searchable Digital Mathematical Library 9:45-10:15 break 10:15-10:45 Therese Hardin Mathematical Knowledge Management in Foc 10:45-11:15 Carlo Traverso Managing Concrete Knowledge in Commutative Algebra 11:15-11:45 Bruno Buchberger Mathematical Knowledge Management Using Theorema 11:45-12:15 Koji Nakagawa Two Tools for Mathematical Knowledge Management in Theorema 12:15-13:45 lunch 13:45-14:15 Ludovic Meunier, Automatically Generated Bruno Salvy Encyclopedia of Special Functions 14:15-14:45 Andrew Adams Using Real Number Theorem Proving to Support Maths Table 14:45-15:15 Paul Cairns, On Dynamically Presenting a Jeremy Gow Topology Course 15:15-15:45 break 15:45-16:15 Jonathan Borwein, The Work of the CEIC Martin Grötschel 16:15-16:45 Wolfram Sperber, Mathematical Knowledge Roland Schwaernzl Management and Math-Net: Semantics, Visualization and Internationalization of Math-Net 16:45-17:15 Terry Stanway Changing Needs and Expectations in Mathematical Knowledge Management: from GHH and Littlewood to XML and Maple 20:00 workshop dinner
9:00- 9:45 Stephen Watt Extending the Semantics of MathML (invited talk) 9:45-10:15 break 10:15-10:45 Martijn Oostdijk, Certified and Portable Olga Caprotti, Mathematical Documents from Herman Geuvers Formal Contexts 10:45-11:15 James H. Davenport Mathematical Knowledge Representation 11:15-11:45 William Arthur Naylor Meta Style Sheets for the Conversion of Mathematical Documents into other Forms 11:45-12:15 Mike Dewar, Mathematical Software: D. Carlisle the Next Generation? 12:15-13:45 lunch 13:45-14:00 G. Stork European Funding Possibilities 14:00-14:45 Daniel Lozier The NIST Digital Library of (invited talk) Mathematical Functions Project 14:45-15:15 Bruce Miller Technical Aspects of the Digital Library of Mathematical Functions: Dreams and Realities 15:15-15:45 break 15:45-16:15 Giovanna Albano, G. Modelling for Understanding of Gargiulo, S. Salerno Scientific Knowledge 16:15-16:45 Francky Trichet Contribution of the Ontology Engineering to Mathematical Knowledge Management 17:15-18:00 panel discussion