征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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

征稿信息

重要日期

2018-09-01
初稿截稿日期
  • 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
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    10月24日

    2018

    10月26日

    2018

  • 09月01日 2018

    初稿截稿日期

  • 10月26日 2018

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询