Call for paper 〔OPEN〕

My Submissions

Registration 〔OPEN〕

My tickets


The NWPT series of annual workshops is a forum bringing together programming theorists from, mostly but not restricted to, the Nordic and Baltic countries.


Program committee

  • Lars Birkedal, Aarhus Univ., Denmark

  • Johannes Borgström, Uppsala Univ., Sweden

  • John Gallagher, RUC, Denmark

  • Michael R. Hansen, DTU, Denmark

  • Magne Haveraaen, Univ. of Bergen, Norway

  • Keijo Heljanko, Aalto Univ., Finland

  • Fritz Henglein, Univ. of Copenhagen, Denmark

  • Thomas T. Hildebrandt, ITU, Denmark

  • Anna Ingolfsdottir, Reykjavík Univ., Iceland

  • Einar Broch Johnsen, Univ. of Oslo, Norway

  • Jaakko Järvi, Univ. of Bergen, Norway

  • Yngve Lamo, Bergen Univ. Col., Norway

  • Kim G. Larsen, Aalborg Univ., Denmark

  • Alberto Lluch Lafuente, DTU, Denmark

  • Fabrizio Montesi, Univ. of Southern Denmark, Denmark

  • Wojciech Mostowski, Halmstad Univ., Sweden

  • Olaf Owe, Univ. of Oslo, Norway

  • Philipp Rümmer, Uppsala Univ., Sweden

  • Gerardo Schneider, University of Gothenburg, Sweden

  • Cristina Seceleanu, Mälardalen Univ., Sweden

  • Jiri Srba, Aalborg Univ., Denmark

  • Tarmo Uustalu, Tallinn Univ. of Tech., Estonia

  • Jüri Vain, Tallinn Univ. of Tech., Estonia

  • Antti Valmari, Tampere Univ. of Tech., Finland

  • Marina Waldén, Åbo Akademi Univ., Finland

Call for paper

Important date

Draft paper submission deadline
  • 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
  • language-based security
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 24



    Oct 26


  • Sep 01 2018

    Draft paper submission deadline

Contact Information
Scan the QR code×