MKM 2001 Program

------------------------------------------------------------------------
                        [Apologies for multiple copies]


------------------------------------------------------------------------
                            CALL FOR PARTICIPATION
                            please distribute/post
------------------------------------------------------------------------



=========================================================================

                                  MKM 2001
      First International Workshop on Mathematical Knowledge Management


                                      &

                              OpenMath Workshop



            RISC, A-4232 Schloss Hagenberg, September 24-26, 2001

        http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/

=========================================================================

Mathematical Knowledge Management is an exciting new field in the
intersection of mathematics and computer science.

We need efficient, new techniques  -  based  on  sophisticated  formal
mathematics and software technology - for taking fruit of the enormous
knowledge available in current mathematical sources and for organizing
mathematical knowledge in a new way.

The Workshop  should  bring  together  math researchers,  software
developers, publishing companies,  librarians, math societies, and
teachers for exchanging their views and approaches and for pushing 
the field.

Whereas the workshop is designed to provide a forum for discussion
and  presentation of early ideas, the special issue is a forum for
polished,  refereed papers in the area  of  mathematical knowledge
management.  Participation and presentation of talks and papers is
possible in both the workshop  and  the special issue,  jointly or
independently.

=========================================================================

              +----------------------+
              |  MKM 2001 - Program  |
              +----------------------+


            +--- Monday, September 24 ---+

    8:30- 9:00   registration

    9:00- 9:15   welcome

    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 Algebra 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   Cristoph Benzmueller  Using a Blackboard Architecture
                                       for Assertion Application in
                                       Proof Planning
                                       
   17:00-17:30   Manasi Athale,        Exchange of Mathematical
                 Rahul Athale          Information in the Web: Present
                                       and Future

            +--- Tuesday, September 25 ---+

    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         The Role of Logicographic Symbols
                                       for Mathematical Knowledge Management
                                       
   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
                 Gow Jeremy            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



            +--- Wednesday, September 26 ---+
        Joint Program with the OpenMath Workshop


    9:00- 9:45   Stephen Watt          Title to be announced
                  (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 Loizier        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   Rudolf Wille          Conceptual Knowledge Systems
                                       for Mathematics
                                       
   16:45-17:15   Francky Trichet       Contribution of the Ontology
                                       Engineering to Mathematical
                                       Knowledge Management
                                       
   17:15-18:00   Panel discussion



------------------------------------------------------------------------------
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
------------------------------------------------------------------------------

General Information and Registration at

http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/general_information.html
http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/registration.html

Early Registration deadline is August 31, 2001.
------------------------------------------------------------------------------
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
------------------------------------------------------------------------------


Workshop Organizers:

    Bruno Buchberger (General Chair)
    Olga Caprotti (Managing Chair)

International Program Committee:
 
    Andrea Asperti (University of Bologna, Italy)
    Jonathan Borwein (Simon Fraser University, Burnaby, Canada)
    Bruno Buchberger (RISC-Linz, Austria)
    Alan Bundy (University of Edinburgh, Scotland)
    Ingo Dahn (University of Koblenz, Germany)
    James Davenport (University of Bath, UK)
    Gaston Gonnet (ETH Z?rich, Switzerland)
    Therese Hardin (LIP6, Paris, France)
    Heinz Hauffe (University of Innsbruck, Austria)
    Michiel Hazewinkel (CWI, Amsterdam, The Netherlands)
    Clemens Heine (Springer-Verlag Heidelberg, Germany)
    Hoon Hong (North Carolina State University, Raleigh, NC)
    Tetsuo Ida (University of Tsukuba, Japan)
    Patrick D. F. Ion (University of Michigan, Ann Arbor, MI)
    Michael Kohlhase (Carnegie Mellon University, Pittsburgh, PA)
    Peter Michor (ESI, Vienna, Austria)
    Peter Paule (RISC-Linz, Austria)
    Carlo Traverso (University of Pisa, Italy)
    Andrzej Trybulec (University of Bialystok, Poland)
    Bernd Wegner (Technical University of Berlin, Germany)
    Eric W. Weisstein (Wolfram Research, Inc., Champaign, IL)
    Werner Winiwarter (SCCH, Hagenberg, Austria)
                                                                                  

Local Organization
    
    Betina Curtis    <bcurtis@risc.uni-linz.ac.at>
    Christian Vogt   <vogt@risc.uni-linz.ac.at>
    RISC, A-4232 Schloss Hagenberg 
    Fax: +43 732 2468 9930


Sponsors

    NIST, National Institite of Standards and Technology
    SCCH, Software Competence Center Hagenberg
    European Commission, OpenMath Thematic Network (IST-2000-28719)
    European Commission, Calculemus Thematic Network 

Received on Friday, 24 August 2001 14:15:29 UTC