The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. The previous editions were held in Uppsala, Aalborg, Göteborg and other Scandinavian cities. This year the event will be hosted by the Technical University of Denmark.
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.
