NWPT History
The objective of NWPT is to bring together researchers from
(but not limited to) the Nordic and Baltic countries interested in
programming theory, in order to improve mutual contacts and cooperation.
The workshop alternates between the Nordic and Baltic countries.
It started out as The Nordic workshop on program correctness
(NWPC). In 1993 the name was changed to The Nordic workshop on
programming theory (NWPT), reflecting the broadened scope of the
workshop.
- NWPC1 (1989): Uppsala, Sweden.
- NWPC2 (1990): Aalborg, Denmark.
- NWPC3 (1991): Göteborg, Sweden.
Participants: Denmark, Estonia, Finland, Italy, Latvia, Lithuania,
Netherlands, Norway, Sweden and United Kingdom.
- NWPC4 (1992): Bergen, Norway, 2-4 November 1992.
Proceedings of selected papers as Reports
in Informatics no. 78.
Almost 50 participants:
Nordic and Baltic countries,
France, Germany, Russia, United Kingdom.
- NWPT5 (1993): Åbo (Turku), Finland.
- NWPT6 (1994): Aarhus, Denmark, 17-19 October, 1994.
Proceedings as BRICS
Notes Series,
NS-94-6.
- NWPT7 (1995): Göteborg, Sweden.
- NWPT8 (1996): Oslo, Norway, 4-6 December 1996.
Proceedings of selected papers as Ifi research
report no. 248.
40 participants:
Denmark (3),
Estonia (5),
Finland (7),
Germany (7),
Italy (1),
Lithuania (1),
Norway (12),
Sweden (4).
- NWPT9 (1997):
Tallinn, Estonia, 15-17 October 1997.
Selected papers in
Proceedings of the
Estonian Academy of Sciences (Eesti teaduste akadeemia
toimetised,
Engineering
vol. 4, no. 2, 1998, and
Physics/Mathematics
vol. 47, no. 3, 1998.
42 participants:
Denmark (5),
Estonia (8),
Finland (8),
France (3),
Germany (4),
Lithuania (3),
Netherlands (1),
Norway (2),
Russia (1),
Sweden (4),
United Kingdom (3).
Some pictures from the event and from
Estonia.
- NWPT10 (1998):
Åbo (Turku), Finland, 14-16 October 1998.
Selected papers in
Nordic Journal of
Computing,
vol.
6, no. 3, 1999
56 participants:
Denmark (7),
Estonia (2),
Finland (21),
Germany (4),
Italy (1),
Lithuania (4),
Netherlands (1),
Norway (4),
Russia (1),
Slovenia (1),
Spain (1),
Sweden (8),
United Kingdom (1).
Some pictures from the event and from
Turku.
- NWPT11 (1999):
Uppsala, Sweden, 6-8 October 1999.
Selected papers to appear in
Nordic Journal of
Computing.
85 participants, mostly from northern Europe, including 10 from Uppsala.
- NWPT12 (2000): Bergen, Norway, 11-13 October 2000.
Selected papers to appear in
Nordic Journal of
Computing.
Participants from:
Estonia,
Finland,
Germany,
Japan,
Latvia,
Netherlands,
Norway,
Portugal,
Spain,
Sweden,
United Kingdom.
- NWPT13 (2001):
Copenhagen, Denmark, 10-12 October 2001.
Organised by the Technical University of Denmark (DTU).
To the main NPWT'01 page.
Last modified 2001-04-09 by
Magne Haveraaen