IAMC'2001 Workshop, Call for Software Demos

Dear colleague,

You'll find below the program and call for software demonstrations
for IAMC'01, a 1-day workshop dedicated to INTERNET ACCESSIBLE
MATHEMATICAL COMPUTATION.

IAMC'01 will be held at ISSAC'01 on July 22, 2001 as a pre-conference
event.  Thanks to NSF and industry support, attendance will be free
for ISSAC participants.

Best regards,
-- Dr. Angel Diaz
.............................................................................


                            Call for

                    IAMC'2001 Workshop Demo


You may be interested to know that we are organizing the system
demo session for the Internet Accessible Mathematical Computation
(IAMC) Workshop. IAMC authors as well as other attendees are invited
to demo their software systems.

If you have an IAMC related system to demonstrate, please fill out
the following form and send it back to us.  We'll then announce all
the demos on the IAMC website and make sure the local arrangements
are made for your demo.

The demo will take place in a computer lab (July 22, 20:00 -- 21:30).

============= request for demo form begin ===============
  Group or organization name:
  System(s) to demo:
  Name and email of person(s) giving the demo:
  Equipment requirement:
============= request for demo form end =================

Thanks,

Angel Diaz (aldiaz@us.ibm.com)
Norbert Kajler (kajler@paris.ensmp.fr)
Paul Wang (pwang@cs.kent.edu)

_________________________________________________________
Here is the IAMC'2001 Workshop agenda:

                     22 July 2001

     08:30 -- 09:00 Registration and Refreshments (Conron Hall)
     09:00 -- 09:30 Welcome and Workshop Theme (Conron Hall)
     09:30 -- 10:30 Invited Talk I (Conron Hall)

           Dr. Neil Soiffer (Wolfram Research, USA)

     10:30 -- 11:00 Break
     11:00 -- 12:00 Contributed Papers I (Conron Hall)

       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 Invited Talk II (Conron Hall)
     14:30 -- 15:00 Break + Posters (Conron Hall)
     15:00 -- 17:00 Contributed Papers II (Conron Hall)
      Remote Access to Mathematical Software
         Elizabeth Dolan, Paul Howland, Jorge Mori,
         Boyana Norris, and Barry Smith

      Using WIMS for Mathematical Education
         Xiao Gang and Andre Galligo

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

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

     17:00 -- 20:00 Dinner Break (ISSAC'2001 Reception at 17:30)

     20:00 -- 21:30 System Demos (Computer Lab)

You can view full details for the IAMC call for participation at
  http://ox.mcs.kent.edu/SN/conferences/iamc2001.html

.............................................................................

Received on Friday, 22 June 2001 21:08:20 UTC