Fifth OpenMath Workshop

Dates:
12th and 13th January 1996
Place:
School of Mathematical Sciences,
University of Bath
Bath
UK
Organizer:
John Abbott, jaa@maths.bath.ac.uk
Local Organizers:
Dan Richardson, dsr@maths.bath.ac.uk
James Davenport, jhd@maths.bath.ac.uk

Contents of this file:

Workshop Purpose

The aim of the workshop in Bath is to produce a significant advance in the design of OpenMath, consequently it will concentrate on group-working rather than listening to many presentations, though there will be some presentations.

Preliminary Schedule

Friday 12 January 1996
09:00
"Registration" and welcome in room 1W3.24????
09:15
Arjeh Cohen/Gaston Gonnet: "The State of the MathLink Proposal" (short progress report)
09:30
Bob Sutor: "State of the Design Committee Report", (presentation including distribution of the current draft)
09:45
Bob Sutor: "Objects, Contexts, and Types in OpenMath", (presentation and discussion)
10:45
break
11:00
Andreas Strotmann: "OpenMath Expressions and Data-Structures", (presentation and discussion)
12:00
Stefan Vorkoetter/John Abbott: "Encodings", (presentation and discussion)
13:00
lunch
14:00
Stefan Vorkoetter: "Recent Developments in Maple" (presentation and questions, and a demo)
14:45
Hans Schoenemann: "Implementing the Singular-MP Interface" (presentation and questions)
15:30
tea break
15:45
John Abbott: "OpenMath Prototype: Design and Experience" (presentation and questions, and a demo)
16:30
John Abbott: Discussion and criticism of OpenMath prototype (discussion)
17:30
End of day
19:30
Dinner
Saturday 13 January 1996
09:00
Identification of main topics requiring discussion, and formation of the various small groups to discuss these.
09:30
First round of discussions
10:45
break
11:00
First round of discussions resumes
12:30
Presentation of conclusions of the discussion groups; including distribution of each group's draft summary report.
13:00
lunch
14:00
Re-appraisal of topics needing discussion, re-assignment of (small) groups to discuss these topics.
14:15
Second round of discussions
15:30
tea break
15:45
Resumption of second round discussions.
17:00
Presentation of conclusions of the discussion groups; including distribution of each group's summary report.
17:45
(day end)

Accom Guide

Note: the workshop will cover the accommodation costs, and most meals, for Europeans and, possibly, non-Europeans.

A number of (single) rooms on campus has been pre-booked. They have private bathroom facilities, and include breakfast at the refectory. The cost is 42.70 pounds per night.

Hotel accommodation in town starts at about 40 pounds per night (for a single room).

Bed and breakfast accommodation in town starts at about 30 pounds per night per person

If you need help reserving a place, please contact the local organizers.

Travel Information

[greater detail is available via http://www.bath.ac.uk/]

From Bath Spa (the railway station)
From Heathrow Airport
Buy a rail ticket to "Bath Spa" (cost (2nd class return) varies from 25 pounds to 45 pounds depending on time of the day and day of the week). Then take the "RailAir" bus to READING [fare included in the train ticket]; these buses depart approximately half hourly. The train from Reading to Bath Spa is direct, and runs approximately every hour. Allow a total of about 2.5 hours for the journey.
From Gatwick Airport
Buy a rail ticket to "Bath Spa". Take the train from Gatwick station (inside the airport complex) to READING, where you can catch a train direct to Bath. Allow a total of about 3 hours for the journey.
From Bristol Airport
It is possible to take a bus to "Bristol Temple Meads" railway station, and then take a train to "Bath Spa", but this is likely to be time consuming. A taxi would be faster, but more costly (about 30 pounds).
By car
Approach is most likely from the M4 (exit number 17, along A46) or along the A36. The simplest is to head towards the town centre, and look out for signs (sometimes rather small) to the university. The university is mentioned on several sign posts around the town, or you can ask for any of "Bathwick Hill", "North Road", or "Widcombe Hill". These three roads converge at the top of the hill, and the university is clearly marked (though not very visible from the road).

Note: If you are European, and are in dire need of help with travel expenses, please contact James Davenport directly (jhd@maths.bath.ac.uk).

Weather and Tourism

Weather in January
Considerable variation is possible even in the space of hours. Temperature is usually slightly above freezing, but it is often damp and windy (so it feels colder). Rain is likely, snow is not. Most bus stops do not offer any shelter.
Tourism
Bath's principal source of income is from tourism especially during the summer months. Well known tourist attractions include the Roman baths, (the architecture of) the Royal Crescent, and the abbey.

Merged and marked up from two messages from J.A.Abbott by A.Strotmann.
-->OpenMath Home Page
28 Dec. 1995