08:30 -- 09:00 Registration  (Conron Hall)
09:00 -- 09:30 Welcome and Workshop Theme (Conron Hall)
09:30 -- 10:30 Invited Talk (Conron Hall)
      Session Chair: Norbert Kajler (Ecole des Mines de Paris, France)

      Dr. Neil Soiffer (Wolfram Research, USA)

      MathML: the inside story

10:30 -- 11:00 Break
11:00 -- 12:00 Contributed Papers I (Conron Hall)
      Session Chair: Angel Diaz (IBM USA)

      On the relationship between OpenMath and MathML
      Stephen Watt and Bill Naylor

      OpenMath Content Dictionaries: the Current State
      James H. Davenport

12:00 -- 13:30 Lunch

13:30 -- 14:30 Contributed Papers II (Conron Hall)
      Session Chair: Neil Soifer (Wolfram Research, USA)

      Remote Access to Mathematical Software
      Elizabeth Dolan, Paul Howland, Jorge Moré, 
      Boyana Norris, and Barry Smith

      Using WIMS for Mathematical Education
      Xiao Gang and Andre Galligo

14:30 -- 15:00 Break + Posters (Conron Hall)

      * MCP: Mathematical Computation Protocol
        poser by Qingzhao Guo, ICM/Kent USA 

      * Numerical and Algebraic Computation in the web:
        exploring benefits and limitations
        poster by Maria Angelica de Oliveira Camargo Brunetto

      * MetroS - A web site for mathematical software 
          for metrology, and associated materials
        poster by Robin Barker, UK 

15:00 -- 16:00 Contributed Papers III (Conron Hall)
      Session Chair: Paul Wang (ICM/Kent USA)

      The Marriage of MathML and Theorem Proving
      Hanane Naciri & Laurence Rideau

      Mathematical Systems Integrated in the ActiveMath Learning Environment
      Paul Libbrecht and Adrian Frischhauf

16:00 -- 17:30 System Demos

      * The Omega group, Universität des Saarlandes to demo

        ActiveMath (web-based learning environment)

        by Paul Libbrecht (Middlesex 342,  use of Internet 1)

      * Mathematics and Computer Science Division,
        Argonne National Laboratory to demo

        ADIC Server, NEOS Server, PETSc Server

        by Boyana Norris (Middlesex 342, use of Internet 2)

      * ICM/Kent USA to demo
  
        Java-based IAMC Framework

        by Weidong Liao (Middlesex 327, use of Internet 1)

      * ICM/Kent USA to demo

        XMC (eXtensible Mathematical encoding Converter)

        by Xiao Zou (Middlesex 342, use of Projector)

      * Centre for Mathematics and Scientific Computing
        National Physical Laboratory, UK to demo
      
        METROS web-site

        by Robin Barker (Middlesex 327, use of Internet 2)

      * Waterloo Maple Inc. Canada, to demo

        Maple7

        by Douglas Harder (Middlesex 327, use of Projector)


17:30 ISSAC'2001 Reception

IAMC 2001 Workshop Website

Papers and posters submitted by authors are available on-line at

http://www.symbolicnet.org/conferences/iamc2001.html

The IAMC homepage

http://icm.mcs.kent.edu/research/iamc.html

contains general information and links for IAMC including a link to the 1999 IAMC Workshop proceedings.

Funding Acknowledgement