NWPT'10

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.
  • language-based security

News


Conference Images added. (15.11.2010)
Registration closed. (28.09.2010)
Registration opened. (27.09.2010)
Sponsors added. (20.08.2010)
Call for Papers added. (05.07.2010)


Archive