35th Nordic Workshop on Programming Theory (NWPT)

About NWPT

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.

Important dates

~~Submission of abstracts: September 24, 2024 23:59 AoE~~

Extended submission of abstracts: October 1, 2024 23:59 AoE
Notification: October 15, 2024 AoE
Registration deadline: October 28, 2024, 12:00 CET
Final version abstract submission: October 29, 2024, 23:59 AoE
Conference dates: 6-8 November 2024

Invited speakers

João Saraiva
Professor Auxiliar
Department of Informatics, University of Minho and HASLab / INESC TEC, Portugal
Energy Efficiency in Programming Languages
Sam Staton
Professor of Computer Science
Department of Computer Science, University of Oxford, UK
Programming theory meets statistical modelling
Martin Berger
Senior Lecturer, University of Sussex & Researcher, Montanarius Ltd
Towards GPU-accelerated automated reasoning

Organisation committee

Michael Kirkedal Thomsen, University of Copenhagen and University of Oslo
Maja Hanne Kirkeby, Roskilde University
Jens Classen, Roskilde University
Joachim Tilsted Kristensen, University of Oslo
Matilde Mouritsen Broløs, University of Copenhagen

For questions, contact Michael Kirkedal Thomsen m.kirkedal@di.ku.dk.

Support was gratefully received from the Carlsberg Foundation, grant CF24-0923.

Sponsorship was gratefully received from the PROSA, Danish union for IT-professionals.

University of Copenhagen supports NWPT'24 with location and organisation.

Roskilde University supports NWPT'24 with organisation and merchandise.