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 (Tentative)

Submission of abstracts: September 24, 2024 23:59 AoE
Notification: October 15, 2024
Registration deadline: October 22, 2024, 23:59 AoE
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
  On recent work on the area of programming, languages and their energy consumption
• Sam Staton
  Professor of Computer Science
  Department of Computer Science, University of Oxford, UK
  On probabilistic programming and/or programming languages for quantum computation
• TBD

Organisation committee

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

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

Sponsor and support

Becomming an Industrial Sponsors

Would you like to sponsor keynote and reception Friday, afternoon, to make it open and free to the public (up to the capacity of auditorium)? We provide multiple options for you.

• Bronze (DKK 5000):
  Your logo and link on the NWPT 2024 website and in symposium materials; your roll-up or poster in the social space outside the symposium lecture room; one free registration (which can be donated to somebody else). Your sponsorship contributes to discounted student registration by partially covering on-site food and facility costs for students.
• Silver (DKK 10000), final reception sponsor:
  All of Bronze, plus: Named sponsor of final reception; with sponsor presentation (in lecture room or social space) at the beginning of the industrial reception.

If you are interestend in becomming a sponsor for NWPT’24, you can contact Michael Kirkedal Thomsen m.kirkedal@di.ku.dk.

Contact

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