Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
NWPT'03
The 15th Nordic Workshop on Programming Theory (NWPT'03)
The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries (but also
elsewhere). The previous workshops were held in Uppsala (1989 and
1999), Aalborg (1990), Gothenburg (1991 and 1995), Bergen (1992 and
2000), Turku (1993 and 1998), Aarhus (1994), Oslo (1996), Tallinn
(1997 and 2002), Lyngby (2001). This time the workshop will be
once again held in Turku.
Typical topics of the workshop
include (but are not limited to):
Semantics of programs
Programming logics
Program verification
Formal specification of programs
Program synthesis
Program transformation and program refinement
Real-Time and hybrid systems
Modeling of concurrency
Programming methods
Tools for program construction and verification
Invited speakers
Ursula Martin, University of London, London, UK
Logical structures for control Here you will find
the slides of Ursula Martins presentation.
Mary Sheeran, Chalmers University of Technology, Gothenburg, Sweden
Describing and Reasoning about Sorting Networks
Submissions
Authors wishing to give a talk at the workshop are requested to submit
an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to
nwpt03@abo.fi by 14th September 2003. Submission of work submitted
for formal publication elsewhere and work in progress is permitted.
The abstracts of the accepted contributions will be available at the
workshop. After the workshop, a few, selected papers will be published
in a special issue of an international journal (under negotiation).
Important dates
September 14th - submission of abstracts
September 29th - notification of acceptance
October 29th -31st - WORKSHOP
Programme Committee
Michael R. Hansen, Techn. U. of Denmark, Denmark
Magne Haveraaen, Univ. of Bergen, Norway
Hannu-Matti Jarvinen, Tampere Univ. of Tech., Finland)
Kim G. Larsen, Aalborg Univ., Denmark
Bengt Nordstrom, Univ. of Gothenburg,
Chalmers Univ. of Tech., Sweden
Olaf Owe, Univ. of Oslo, Norway
Kaisa Sere, Abo Akademi University, Finland
Tarmo Uustalu, Inst. of Cubernetics, Estonia
Juri Vain, Tallinn Technical University, Estonia
Wang Yi, Uppsala Univ., Sweden
Venue
Turku is situated in the south western corner of Finland. It is
reachable by air both via Helsinki and via Stockholm in Sweden. From
Helsinki you can also travel by bus or by train to Turku. The
journey takes some 2 hours. From Stockholm there are two boat lines
to Turku through a beautiful archipelago. The boat trip takes 10-12
hours. The conference is organised in Sokos
Hotel Hamburger Bors.
Registration
To register for the workshop, complete the
registration form
at the
latest on the 14th September 2003