Nordic Workshop on Programming Theory
About
NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2024, the workshop will take place in Copenhagen, Denmark. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute.
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
- 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
- Language-based security.
Read more on the NWPT website.
Registration
You can sign up for the Nordic Workshop on Programming Theory here.
The registration deadline is 28 October at 12.00.
For questions, please contact Michael Kirkedal Thomsen m.kirkedal@di.ku.dk.