The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The previous editions were held in Uppsala (1989, 1999, and 2004), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992 and 2000), Åbo (1993, 1998, and 2003), Aarhus (1994), Oslo (1996 and 2007), Tallinn (1997, 2002 and 2008), Lyngby (2001), Copenhagen (2005) and Reykjavík (2006).

NWPT '09 will be organized by DTU Informatics

Scope

Topics of interest include (but are not limited to)

• semantics of programming languages,
• programming language design and programming methodology,
• programming logics,
• formal specification of programs,
• program verification,
• program construction,
• program transformation and refinement,
• real-time and hybrid systems,
• models of concurrency and distributed computing,
• tools for program verification and construction.

Invited Speakers

• Dines Bjørner, Professor of Computing Science (Denmark) Details
• Joost Pieter Katoen, RWTH Aachen University (Germany) Details
• Franz Wotawa, IST, Graz University of Technology (Austria) Details

Submission

Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper) by September 10th, 2009 through EasyChair. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

NWPT '09 Submission through EasyChair

Publication

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 The Journal of Logic and Algebraic Programming.

Important Dates

• Submission of abstracts: 10 September, 2009
• Notification: 24 September, 2009
• Workshop: 14-16 October, 2009

Programme Committee

• Luca Aceto, Reykjavík Univ., Iceland
• Michael R. Hansen, Technical Univ. of Denmark, Denmark (Chair)
• Anna Ingólfsdóttir, Reykjavík Univ., Iceland
• Einar Broch Johnsen, University of Oslo, Norway
• Kim G. Larsen, Aalborg Univ., Denmark
• Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Technology, Sweden
• Olaf Owe, University of Oslo, Norway
• Gerardo Schneider, University of Oslo, Norway
• Tarmo Uustalu, Inst. of Cybernetics, Estonia
• Jüri Vain, Tallinn Univ. of Technology, Estonia
• Marina Waldén, Åbo Akademi University, Finland
• Uwe Wolter, Univ. of Bergen, Norway
• Wang Yi, Uppsala Univ., Sweden

Organising Committee

• Michael R. Hansen
• Karin Tunder
• Mikkel Koefoed Jakobsen
• Aske Brekling

Venue

Further information