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

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.
http://www.imm.dtu.dk/nwpt09 | email: nwpt09(at)imm.dtu.dk | DTU Informatics, 2009