33rd Nordic Workshop on Programming Theory, NWPT 2022

Bergen, Norway, 2-4 November 2022

About NWPT

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. 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 and hybrid systems,
  • models of concurrency and distributed computing,
  • model-based testing,
  • language-based security.
The view from the highest city mountain of Bergen

Venue

The workshop will be held at the University of Bergen, in the city centre of Bergen, hosted by the Department of Computer Science.

Important Dates

  • Submission of abstracts: 2 October 2022 23:59 AoE
  • Notification: 17 October 2022
  • Early bird registration: before 17 October 2022
  • Regular registration: before 24 October 2022
  • Final versions: 31 October 2022
  • Conference dates: 2-4 November 2022
Fløyen, Bergen

Contributed Talks

If you wish to give a talk at the workshop, please submit an abstract of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 2 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are welcome.

The abstracts of the accepted contributions will be made 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.

Journal Special Issue

We plan a special issue of a journal, if the number and quality of submissions warrants this. Traditionally, the best papers from NWPT have been published in Elsevier’s Journal of Logic and Algebraic Methods in Programming and we hope to continue this tradition.

Invited Talks

Fjord around Bergen

Programme Committee

Conference Rooms

02.11.22 Wednesday 08:00-17:00 @ Jusbygg II Auditorium
About the room: https://rom.app.uib.no/romInfo/q.php/120/145

03.11.22 Thursday 08:00-17:00 @ Realfagbygget Auditorium 2
About the room: https://rom.app.uib.no/romInfo/q.php/308/UC6F

04.11.22 Friday 08:00-17:00 @ Sydneshaugen skole Auditorium D
About the room: https://rom.app.uib.no/romInfo/q.php/134/109

Social Programme

TBA

Contact the organisers at nwpt_22@uib.no