The 18th Nordic Workshop on Programming Theory (NWPT'06)
Reykjavík, Iceland, 18-20 October, 2006

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, 1999 and 2004), Aalborg (1990), Gothenburg (1991 and 1995), Bergen (1992 and 2000), Turku (1993, 1998, and 2003), Aarhus (1994), Oslo (1996), Tallinn (1997 and 2002), Lyngby (2001), and Copenhagen (2005). This time the workshop will visit Iceland for the first time, and will be held in Reykjavík under the auspices of the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) and of the IFIP TC1 Working Group 1.8 on Concurrency Theory.

The workshop is partly sponsored by Reykjavík University.

A short history of the workshop is available at http://www.cc.ioc.ee/nwpt02/history.html.

Scope

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

Gerd Behrmann, Aalborg University. How to become a successful tool builder - the dirty tricks

Matthew Hennessy, University of Sussex. Some Remarks on Testing Probabilistic Processes.

Hanne Riis Nielson, DTU. Analysis of Process Interactions

David Sands, Chalmers University of Technology and University of Göteborg. Specifying and Verifying Dynamic Information Flow Properties

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 nwpt06(at)ru(dot)is by the 19th September 2006. 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, selected papers will be published in a special issue of a journal.

Important Dates (tentative)

19 September

Submission of abstracts (EXPIRED)

30 September

Registration OPENS

5 October

Notification of acceptance

12 October

Registration CLOSES

18-20 October

WORKSHOP
(begins Wednesday morning/lunch, ends Friday lunch)

Programme Committee

• Luca Aceto, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark (co-chair)
• Michael R. Hansen, Techn. U. of Denmark, Denmark
• Anna Ingolfsdottir, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark (co-chair)
• Hannu-Matti Järvinen, Tampere Univ. of Tech., Finland
• Neil D. Jones, Univ. of Copenhagen, Denmark
• Kim G. Larsen, Aalborg Univ., Denmark
• Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Tech., Sweden
• Olaf Owe, University of Oslo, Norway
• Tarmo Uustalu, Inst. of CYbernetics, Estonia
• Jüri Vain, Tallinn Technical University, Estonia
• Marina Waldén, Åbo Akademi University, Finland
• Uwe E. Wolter, Univ. of Bergen, Norway
• Wang Yi, Uppsala Univ., Sweden

Organizing Committee

Email: nwpt06(at)ru(dot)is