- 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:
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.
- 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)
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.
[greater detail is available via http://www.bath.ac.uk/]
- From Bath Spa (the railway station)
-
- take a taxi (approx cost, 3.50 pounds)
- take a bus (approx cost, 0.93 pounds single, 1.15 pounds return)
the bus station is almost opposite the railway station,
walk straight out of the main entrance to the railway station,
down the road ahead, and the bus station is clearly visible after about 50m
Take bus number 18 whose destination is marked as "University"
- walk (up a long and fairly steep hill, allow at least 30 minutes)
[details available if you really want them]
- 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 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