Description

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

Call for paper

Important Dates

Draft paper submission deadline:2018-09-01

Call for paper description

  • 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

Committee

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

Message

Leave a message

Refresh

Contact information

  • nwpt-18@ifi.uio.no