Photo Kadi-Liis Koppel, visittallinn.ee

The 31st NORDIC WORKSHOP ON PROGRAMMING THEORY - NWPT'19
 
13-15 November 2019
Tallinn - Estonia

31st Nordic Workshop on Programming Theory, NWPT'19
Tallinn, Estonia, 13-15 November 2019

The 31st Nordic Workshop On Programming Theory - NWPT'19 is hosted by Software Science Department at Tallinn University of Technology and will be held in the campus of Taltech.

Registration is closed.

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere.

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,
  • 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

Previous, the 30th Nordic Workshop on Programming Theory NWPT '18 was held in Oslo, Norway, 24-26 October 2018.

NWPT 2019 page  © Taltech:NWPT'19   Last modified November 5, 2019 13:36 UTC by local organizers    Contact: nwpt2019@ttu.ee