Ninth OpenMath Workshop: Final Information

[Robert S Sutor]

Here is the final information we will email about the Ninth OpenMath
Workshop that will take place this Wednesday and Thursday.

------


When you check-in please ask for the OpenMath information packet which
I prepared. Inside the folder you find will lists of local shops,
restaurants, points of interest, important phone numbers, directions,
and a copy of the latest OpenMath specification/Meeting agenda.
When you arrive at the IBM T.J. Watson Research Center please park
in the visitor area and proceed to the main lobby. Our workshop will
start at 8:00am and end at 5:00pm.

------
**********

Audio/Visual equipment
======================
Our meeting room will be equipped with an overhead projector, white board,
large paper flip pads and computer display. The computer display screen
requires a standard PC-type monitor plug.
Transportation
==============
Red Dot Airport Shuttle to and from JFK and Laguardia
1-800-673-3368
Westchester Express
1-800-532-3730
Greenburg Taxi (local taxi service)
592-4949
You can travel from Grand Central Terminal in Manhattan to Tarrytown
station
in 39 minutes every day of the year. Call Metro-North Railroad at
1(800) METRO-INFO, or in New York City, call (212) 532-4900. Taxis
are available at Tarrytown Station.
Contact Information
===================
Office :
Dr. Angel Luis Diaz
Research Staff Member
IBM T.J. Watson Research Center
Yorktown Heights NY, 10598
Tel:  (914) 945-1065
Fax:  (914) 945-3434
Home: (914) 962-0439
diaz at watson.ibm.com
Secretary:
Lucille  Bourgeois
Tel: (914) 945-1187
Directions to the Westchester Marriott
======================================

John F. Kennedy International Airport
North on Van Wyck Expressway to the Whitestone Expressway (I678)
over the Whitestone Bridge. Follow Hutchinson River Parkway north
to the Cross Westchester Expressway West (I287). Take Exit 1.
Follow signs to Route 119 West. Hotel is on the left.
LaGuardia Airport
Take the grand central parkway west to the Triboro Bridge. Go over
the Triboro Bridge and take the Major Deegan Expressway (I287) North.
Continue on I287 for 25 miles to Exit 9-Tarrytown (last exit before
Tappanzee Bridge). Make a right at the end of the exit ramp (Route 119).
Proceed on Route 119 for 1 3/4 miles. Hotel is on the right.
Newark International Airport
Take the Garden State Parkway North to the end. Take the New York
State Thruway South (I87 and I287 East) to the Tappanzee Bridge. After
toll immediately get into right lane to Exit 9-Tarrytown. Make a right
at the first light and a right at the next light onto Route 119 East.
The hotel is 2 miles up the road on the right side.
Directions to the IBM T.J. Watson Research Center
=================================================
(http://www.watson.ibm.com/)
Westchester Marriott
Route 287 East to Exit 1 onto the Saw Mill River Parkway North.
Exit the Saw Mill River Parkway North onto the Taconic Parkway North.
Exit the Taconic State Parkway at the Exit for Route 134.
Turn right and proceed east on Route 134 several hundred yards.
IBM is on the right.
New York City (Manhattan)
Henry Hudson Parkway north, which becomes Saw Mill River Parkway,
north to Taconic State Parkway exit. North on Taconic State Parkway
to Route 134 exit. Turn right and proceed east on Route 134 several
hundred yards. IBM is on the right.
John F. Kennedy International Airport
North on Van Wyck Expressway to the Whitestone Expressway and continue
north across the Bronx-Whitestone Bridge to the Hutchinson River Parkway
north to the Cross County Parkway exit and proceed west to the Bronx
River Parkway. North on the Bronx River Parkway to the Sprain Brook
Parkway,
which merges into the Taconic State Parkway. Continue north to Route 134
exit.
Turn right and proceed east on Route 134 several hundred yards.
IBM is on the right.
LaGuardia Airport
East on the Grand Central Parkway, north on the Whitestone Expressway,
and continue north across the Bronx-Whitestone Bridge. Continue with
instructions from John F. Kennedy International Airport, above.
New Jersey
New York State Thruway (Route I-87) east across the Tappan Zee Bridge
to Exit 8, east on Cross Westchester Expressway (Route I- 287) briefly
to Exit 1, north on Saw Mill River Parkway to Taconic State Parkway exit,
north to Route 134 exit. Turn right and proceed east on Route 134 several
hundred yards. IBM is on the right.
Newark International Airport
North on the New Jersey Turnpike (Route I-95). Stay in local lanes and take
Exit 72 for Palisades Interstate Parkway. North on the Palisades Interstate
Parkway to the New York State Thruway, Route I-87, and east across the
Tappan Zee Bridge. Continue with instructions from New Jersey, above.
**********

OpenMath Workshop 9 - Preliminary Agenda


Wednesday October 1 1997
========================

8:00am - 8:25am : Breakfast/Coffee
8:30am - 12:00pm  : Morning session (room 20-001)
Moderator      : Robert Sutor

Welcome/Overview : Robert Sutor

Title     : A Specification of OpenMath Version 1
Speaker : Stephane Dalmas

Title     : Maple via OpenMath
Speaker : Stan Devitt

Title     : Coordinating Mathematical Content and
            Presentation Markup in the techexplorer Interactive Book
Speaker : Samuel Dooley

Panel Discussion Topic : Mixing semantic and presentation markup
Members : Stephen Buswell, Stan Devitt, Samuel Dooley, Robert Miner,
            Richard Jenks

12:05pm - 1:25pm : Lunch (room 26-004)

1:30pm - 5:00pm : Afternoon session (room 20-001)
Moderator           : Angel Diaz

Overview : Angel Diaz

Report    : ESPRIT OpenMath project
Speaker : Mike Dewar

Report    : Developing OpenMath Content
Speaker : Mika Seppala

Report : OpenMath at the University of Western Ontario
Speaker : Stephen Watt

Report : North American OpenMath Initiative (NAOMI)
Speaker : Robert Sutor

Panel Discussion Topic : Fostering an International OpenMath community
Members : Mika Seppala , Arjeh Cohen, Mike Dewar, Robert Sutor

Thursday October 2 1997
=======================

8:00am - 8:25am : Breakfast/Coffee
8:30am - 12:00pm : Morning session (room 20-043)
Moderator           : Arjeh Cohen

Panel Discussion Topic : Content Dictionaries / Object encoding
Members : Mika Seppala, Stephane Dalmas, Gaston Gonnet, Arjeh Cohen


12:05pm - 1:25pm : Lunch (room 26-004)

1:30pm - 5:00pm     : Afternoon session (room 20-001)
Moderator           : Mika Seppala

Topic : Related Implementations / Group Discussion

Title     : An Interactive Algebra Course
Speaker : Arjeh Cohen

Title     : TechTALK: A Web based system for mathematical
            collaboration
Speaker   : Y. N. Lakshman