NWPT'00

Objective of the workshop

The workshop alternates between the Nordic and Baltic countries, see the historical overview. In 2000 the workshop took place in Bergen, Norway, organised by the Programming theory group in the Department of Informatics at the University of Bergen, with economic support from Norges Forskningsråd.

Important dates
Submission of abstracts and registration / hotel reservation: September 19
Notification of acceptance: September 25
Workshop: October 11-13 (Final programme)

Theme
Typical topics of the workshop include (but are not limited to):

• Formal specification of programs
• Foundations of programming
• Program logic and type systems
• Program modelling
• Program modularisation and construction
• Program synthesis
• Program transformation and refinement
• Program verification
• Programming methods
• Real-Time and hybrid systems
• Semantics of programs
• Testing and validation
• Tools for programming and verification

Venue
The conference took place at Fløien Folkerestaurant on top of the Fløyen mountain overlooking Bergen city centre. The Fløyen webcamera gives a view from the mountain. A funicular will bring you from the city centre to the top of the 320m high mountain in 10 minutes.

Invited speakers

• Ole Johan Dahl: On the development of Simula-67.
• Stuart Kent: UML - Opportunities and Challenges for Formal Methods.
• John V. Tucker: Programming with topological data types.

Programme Committe
Magne Haveraaen (Bergen, NO)
Hannu-Matti Järvinen (Tampere, FI)
Kim G. Larsen (Aalborg, DK)
Bengt Nordström (Chalmers, SE)
Olaf Owe (Oslo, NO)
Hans Rischel (DTU, Lyngby, DK)
Kaisa Sere (Åbo Akademi, FI)
Jüri Vain (Inst. of Cybernetics, EE)
Wang Yi (Uppsala, SE)

Organising Committee
Magne Haveraaen (UiB, N), chair, Olaf Owe (UiO, N), Michal Walicki (UiB, N)

Additional Information
Further information will appear on this web page, or can be obtained by mailing to the organisers at nwpt00@ii.uib.no.

Submission
If you wish to give a presentation, please submit a short (1-3 pages) abstract of it (LaTeX, plain ISO text, or PostScript) together with the completed registration form. In the event that the number of proposed talks exceeds the number of slots available, the Programme Committee will make a selection, based on the submitted abstracts. (Those who submit abstracts that are not selected for presentation will be able to cancel their registration and obtain a full refund of the fees.)

Electronic submission is strongly encouraged. The abstract should be sent by e-mail to the address nwpt00@ii.uib.no. If ordinary mail has to be used, then the abstract should be sent to: NWPT'00, Magne Haveraaen, Dept. of Informatics, University of Bergen, Box 7800, N-5020 Bergen, Norway.

Publication
The abstracts of the accepted contributions will be included in the online workshop proceedings and be available at the workshop. After the workshop a few, selected papers will be published in a special issue of Nordic journal of Computing.

Travel
Bergen is easily reachable by air, sea and land. Its international airport Flesland has direct connections with Amsterdam, Copenhagen, London, Stockholm, Oslo, Stavanger, and most other Norwegian cities. These hubs also offer a convenient connection with other major airports in Europe and the rest of the world. There are direct ferry connections with Denmark and Great Britain (Fjordline) and Shetland, Faroe islands and Iceland (Smyril Line). Bergen is also the startpoint/endpoint for hurtigruten which travels along the Norwegian coast north to Kirkenes. Train connection is basically with Oslo, and the trip across the high mountain plateau Hardangervidden is well worth taking.

Accomodation
We have negotiated deels with several hotels in the centre of Bergen, including a low-cost option for those on a tight budget. You must make the reservation directly to the hotel. Prices and availability are only guaranteed until September 19, 2000.
Hotel listing and reservation details.

Registration
Please register as soon as possible for the workshop. The registration form is available in html (preferred), txt, pdf and postsript. The conference fee is NOK 2000 and covers the proceedings, 3 lunches, the conference dinner and coffee breaks. The completed form can be

• e-mailed to nwpt00@ii.uib.no
• faxed to +47 55 58 4199
• sent by ordinary mail to NWPT'00, Magne Haveraaen, Dept. of Informatics, University of Bergen, Box 7800, N-5020 Bergen, Norway.

Bergen, Norway
Bergen is situated on the western coast of Norway. It was founded in 1070, and many remains from medieval times can be seen in the city centre. In 2000 Bergen is one of 9 European cultural cities, and will have a high profile in this matter, see the continually updated program on http://www.bergen2000.no/english.htm. There are several web-cameras in and around Bergen. More pictures from Bergen and surroundings are on http://home.no.net/rostrand/english.htm. Tourist information is available from Bergen Guide and Bergen Tourist Board. If you want to escape the beaten path, you may try the un-tourist information. For a virtual walk and look around Bergen, try city walk (in Norwegian) or virtual views.