NWPT '09 Home
Call for papers
Organisation
Important Dates
Programme
Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info
|
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.
|