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 bea 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.

Submission Guidelines

Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair:

https://easychair.org/conferences/?conf=nwpt2024

Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content.

Committees

Chairs

• Fritz Henglein, University of Copenhagen and Deon Digital, Denmark
• Maja Hanne Kirkeby, Roskilde University, Denmark
• Michael Kirkedal Thomsen, University of Copenhagen, Denmark and University of Oslo, Norway

Program Committee

• Alceste Scalas, Technical University of Denmark, Denmark
• Antonis Achilleos, Reykjavik University
• Antti Valmari, University of Jyväskylä, Finland
• Chad Nester, Tallinn University of Technology
• Danny Bøgsted Poulsen, Aalborg University, Denmark
• Dylan McDermott, Reykjavik University, Iceland
• Fabrizio Montesi, University of Southern Denmark, Denmark
• Håkon Robbestad Gylterud, University of Bergen, Norway
• Jaakko Järvi, University of Turku, Finland
• Johannes Borgström, Uppsala University, Sweden
• Keijo Heljanko, University of Helsinki, Finland
• Magnus Madsen, Aarhus University, Denmark
• Marina Waldén, Abo Akademi University, Finland
• Marjan Sirjani, Malardalen University, Sweden
• Martin Elsman, University of Copenhagen, Denmark
• Martin Steffen, University of Oslo, Norway
• Mikhail Barash, University of Bergen
• Morten Rhiger, Roskilde University, Denmark
• Niccolò Veltri, Tallinn University of Technology, Estonia
• Patrick Bahr, IT-University of Copenhagen, Denmark
• Philipp Ruemmer, University of Regensburg, Germany and Uppsala University, Sweden
• Sandro Stucki, Amazon, Sweden
• Thomas T. Hildebrandt, University of Copenhagen, Denmark
• Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
• Volker Stolz, Western Norway University of Applied Sciences and University of Oslo, Norway
• Wojciech Mostowski, Halmstad University, Sweden

Organizing committee

• Michael Kirkedal Thomsen, University of Copenhagen and University of Oslo
• Maja Hanne Kirkeby, Roskilde University
• Fritz Henglein, University of Copenhagen and Deon Digital
• Morten Rhiger, Roskilde University
• Jens Classen, Roskilde University
• Joachim Tilsted Kristensen, University of Oslo

Contact

All questions about submissions should be emailed to Michael Kirkedal Thomsen.