Related subject: Computer science
36th Nordic Workshop on Programming Theory
NWPT · 2026
Conference call for papers
Conference call for papers
- Category
- Computer science
- Location
- Tartu, Estonia
- Conference dates
- November 19, 2026 – November 20, 2026
Topics
- 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, hybrid/cyber-physical systems modeling and verification
- models of concurrency and distributed computing
- model checking
- model-based testing
Submission deadlines
- Paper deadlineExpired
- (Time zone: Etc/GMT+12)Track or round: Submission deadline
Plan for this conference
Tracking creates a private record for you. It does not send your paper to the conference.
The submission deadline has passed. New reminders are unavailable.