36th Nordic Workshop on Programming Theory (NWPT)
NWPT is an annual regional workshop on programming theory, aimed especially at younger researchers. In 2026 it takes place in Tartu, Estonia, giving PhD students and postdocs a chance to present recent results or work in progress and to meet colleagues from the Nordic and Baltic countries.
Topics include, but are not limited to: semantics of programming languages; language design and programming methodology; programming logics; formal specification and verification of programs; program construction, transformation and refinement; tools for verification and construction; real-time, hybrid and cyber-physical systems; models of concurrency and distributed computing; model checking; model-based testing; and language-based security.
University of Tartu, Institute of Sport Sciences and Physiotherapy, Ujula 4, Tartu.
A free account shows the full card and lets you ask Chad Mitchell Nester for a spot. The host answers in the app.