Back to search

IKTPLUSS-IKT og digital innovasjon

Support for the workshop NWPT 2018: the 30th Nordic Workshop on Programming Theory, Oslo, Norway, October 24-26, 2018

Awarded: NOK 82,666

The scope of the meetings covers traditional as well as emerging disciplines within program- ming theory: semantics of programming languages, programming language design and program- ming methodology, programming logics, formal specification of programs, program verification, program construction, program transformation and refinement, real-time and hybrid systems, models of concurrent, distributed and mobile computing, language-based security. In particu- lar, they are targeted at early-career researchers as a friendly meeting where one can present work in progress but which at the same time produces a high-level post-proceedings compiled of the selected best contributions in the form of a special journal issue. The invited speakers this year are - Erika Abraham RWTH Aachen University Hybrid systems and probabilistic systems. - Andrei Sabelfeld Chalmers University Information security, web security, and language-based security. - Peter Ölveczky University of Oslo Formal modeling and analysis of distributed systems with rewriting logic. More information is available at

Funding scheme:

IKTPLUSS-IKT og digital innovasjon