21st Nordic Workshop on Programming Theory, NWPT '09
Lyngby, Denmark, 14-16 October 2009
NWPT '09 Home
Call for papers
Organisation
Important Dates

Programme

Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info
Call for papers
Background

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
All from DTU Informatics. Email: nwpt09(at)imm.dtu.dk

Venue

The 21st Nordic Workshop on Programming Theory 2009 will take place at the campus of the Technical University of Denmark, hosted by DTU Informatics

Further information

Further information will appear on http://www.imm.dtu.dk/nwpt09, or can be obtained by mailing to the organizers at nwpt09(at)imm.dtu.dk
http://www.imm.dtu.dk/nwpt09 | email: nwpt09(at)imm.dtu.dk | ę DTU Informatics, 2009