NWPT 2007
The 19th Nordic Workshop on Programming Theory
Oslo, October 10-12, 2007

University of Oslo, Department of Informatics, Precise Modeling and Analysis Group


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), Copenhagen (2005), and Reykjavik (2006). This year it will be held in Oslo.

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

  • Latest News

    • The program is now available HERE (Updated: 05.10.2007)!!

    • You can see here the list of accepted papers

    • The workshop will start October 10 at 13:30 and it will finish October 12 at 16:00 (The program will be made available on-line soon)

    • REGISTRATION IS NOW OPEN! See below under "Registration Information"

    • Submissions to NWPT 2007 will be handled by EasyChair. Submit your paper here!
    • Email address for NWPT 2007 established: nwpt-07@ifi.uio.no
    • The dates for NWPT 2007 have now been fixed.
  • 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

  • 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 the NWPT submission site by September 3, 2007. 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 the Journal of Logic and Algebraic Programming (JLAP, Elsevier).

  • Registration Information

    • The registration fee for NWPT is 1600 NOK (approx. 200 Euros). The fee includes workshop proceedings, 2 lunches, and the workshop dinner.
    • If you register to both NWPT and FLACOS the fee is 1700 NOK (approx.212 Euros).
    • The registration fee for NODES is 600 NOK.
    • You can register on-line here!
  • Call for papers
  • Important Dates

    Paper Submission Deadline: September 3, 2007
    Notification of Acceptance: September 15, 2007
    Registration Deadline: September 25, 2007
    NWPT 2007 Workshop: October 10-12, 2007
  • Programme Committee

    • Luca Aceto, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark
    • Michael R. Hansen, Techn. U. of Denmark, Denmark
    • Anna Ingolfsdottir, Reykjavík Univ., Iceland, and Aalborg Univ., Denmark
    • Einar Broch Johnsen, University of Oslo, Norway (co-chair)
    • Kim G. Larsen, Aalborg Univ., Denmark
    • Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Tech., Sweden
    • Olaf Owe, University of Oslo, Norway (co-chair)
    • Gerardo Schneider, University of Oslo, Norway (co-chair)
    • 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

  • Contact Information

  • Events Co-located With NWPT'07

    • The 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07)
    • Nordic workshop and doctoral symposium on Dependability and Security (NODES'07)
University of Oslo