MKM 2001 - General Information
The First International Workshop on Mathematical Knowledge Management
will take place from Monday, September 24, 2001 to
Wednesday, September 26, 2001 at the
Research Institute for Symbolic Computation.
RISC-Linz is an institute of the
Johannes Kepler University
in Linz. It is located in the
castle of Hagenberg,
a romantic, medieval castle amidst the lovely, hilly landscape of the
20 km north west of
the provincial capital of
located halfway between Salzburg and Vienna.
Selected contributions to MKM 2001 will result in a
Special Issue on Mathematical Knowledge Management of the
Annals of Mathematics and Artificial Intelligence.
Details will be given during the workshop.
The workshop fee includes:
|Early Registration Rate
(by August 31, 2001)
|280 US$ (332 EUR = 4568 ATS)
|Late Registration Rate
(after August 31, 2001)
|350 US$ (415 EUR = 5711 ATS)
If you want to take part in the workshop dinner (price: 40 US$ (48 EUR = 660 ATS))
please quote this on the registration form.
- a shuttle service from/to Linz in the morning/evening
- lunch and coffee breaks
- informal proceedings
Fees have to be paid either in advance by credit card (see registration form)
or cash at the registration desk.
- by plane:
Linz has an international airport
(LNZ) with good
connections to Frankfurt, Zurich, Amsterdam and Brussels. After your arrival
at Linz airport please contact the information desk to order a shuttle service
to Hörsching train station. There buy a ticket to Pregarten and take a
train to Linz main station.
Other international airports nearby Linz are Vienna
(VIE, 2 hours by train/car) and
Munich (MUC, 3 hours by train/car).
- by train:
From Linz main station take a train to Pregarten. (Train connections can be
looked up using the
ÖBB online timetable).
- by car:
From motorway A1 ("Westautobahn") change at "Knoten Linz" to motorway A7
("Mühlkreisautobahn") and follow it until it meets in highway B124. There
follow the signs bearing the inscription "Softwarepark" guiding to Hagenberg.
Here follow the sign pointing to RISC.
Arrangements have been made with two hotels in Linz:
If you want to make a reservation please quote this on the registration form.
||rate per single/double room incl. breakfast
||865/1065 ATS (63/78 EUR)
||1030/1350 ATS (75/99 EUR)
Hotel accomodation in Linz can also be booked
A shuttle service from/to Linz will be provided in the morning/evening.
Please note the
which will take place subsequent to MKM 2001 from
Wednesday, September 26, 2001 to Friday, September 28, 2001.
[MKM 2001 - Home]