About NWPT
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. 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,
- tools for program verification and construction,
- program transformation and refinement,
- real-time and hybrid systems,
- models of concurrency and distributed computing,
- model-based testing,
- language-based security.
Contributed Talks
If you wish to give a talk at the workshop, please submit an abstract of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 2 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are welcome.
The abstracts of the accepted contributions will be made available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content.
Journal Special Issue
If the number and quality of submissions warrants this, we may plan a special issue of a journal. Traditionally, the best papers from NWPT have been published in Elsevier’s Journal of Logic and Algebraic Methods in Programming and they are happy to publish a special issue again.
Venue
The workshop will be held at the University of Bergen, in the city centre of Bergen, hosted by the Department of Computer Science.
Social Programme
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. Topics of interest include (but are not limited to)