[TYPES/announce] NWPT'16 - last call for contributions

[Jiri Srba]

Last call for contributions to 28th Nordic Workshop on Programming Theory, 
Skoerping (Aalborg), Denmark.

***************************************************************************
NWPT'16: 28th Nordic Workshop on Programming Theory
October 31 - November 2, 2016, Rold Storkro, Skoerping (Aalborg), Denmark 

Submission deadline of 2-3 page abstracts: August 26th, 2016 
http://nwpt2016.cs.aau.dk/
****************************************************************************

CALL FOR CONTRIBUTIONS

NOTE:
    - Submission of 2-3 page abstracts: 26 August 2015 (AoE)
    - Special issue in the Journal of Logical and Algebraic Methods in Programming

The NWPT series of annual workshops is a forum bringing together programming 
theorists from the Nordic and Baltic countries (but also from elsewhere).

The 28th edition of the Nordic Workshop on Programming Theory will be 
hosted by Department of Computer Science at Aalborg University and 
will take place in the middle of one of the most beautiful nature 
resources in North Jutland, about 20 minutes by train from Aalborg city 
center. The workshop, accomodation and social activities will all be hosted 
at the hotel Rold Storkro located at the Rold Forest. 

SUBMISSION INFORMATION:

Authors wishing to give a talk at the workshop are requested to submit 
abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls, 
available at http://www.easychair.org/publications/easychair.zip) through
EasyChair at the link https://easychair.org/conferences/?conf=nwpt2016.
Work in progress as well as abstracts of manuscripts submitted for formal 
publication elsewhere are welcome. 

PUBLICATION:

The abstracts of the accepted contributions will be available electronically 
at the workshop. We have arranged a special issue of the Journal of 
Logical and Algebraic Methods in Programming (JLAMP) devoted to the best 
contributions to the workshop. The contributions will be selected by the PC. 
They will be invited after the workshop and will undergo a rigorous, 
journal-strength review process according to the standards of JLAMP.

IMPORTANT DATES:

- Submission of abstracts: 26 August 2016 (AoE) 
- Notification: 20 September 2016
- Registration deadline: 27 September 2016
- Workshop: 31 October - 2 November 2016

SCOPE:

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
- language-based security.

INVITED SPEAKERS:

- Jan Friso Groote, Eindhoven University of Technology, The Netherlands
- Alan Mycrof, University of Cambridge, UK
- Andrzej Wąsowski, IT University, Denmark

PROGRAMME COMMITTEE:

  Lars Birkedal, Aarhus Univ., Denmark
  Johannes Borgström, Uppsala Univ., Sweden
  John Gallagher, RUC, Denmark
  Dilian Gurov, KTH Stockholm, Sweden
  Einar Broch Johnsen, Univ. of Oslo, Norway
  Michael R. Hansen, DTU, Denmark
  Keijo Heljanko, Aalto Univ., Finland
  Fritz Henglein, Univ. of Copenhagen, Denmark
  Thomas T. Hildebrandt, ITU, Denmark
  Anna Ingolfsdottir, Reykjavík Univ., Iceland
  Yngve Lamo, Bergen Univ. Col., Norway
  Kim G. Larsen, Aalborg Univ., Denmark (co-chair)
  Alberto Lluch Lafuente, DTU, Denmark
  Fabrizio Montesi, Univ. of Southern Denmark, Denmark
  Mohammad Mousavi, Halmstad Univ., Sweden
  Olaf Owe, Univ. of Oslo, Norway
  Cristina Seceleanu, Mälardalen Univ., Sweden
  Gerardo Schneider, University of Gothenburg, Sweden
  Jiri Srba, Aalborg Univ., Denmark (co-chair)
  Tarmo Uustalu, Inst. of Cybernetics, Estonia
  Jüri Vain, Tallinn Univ. of Tech., Estonia
  Antti Valmari, Tampere Univ. of Techn., Finland
  Marina Waldén, Åbo Akademi Univ., Finland
  Uwe Wolter, Univ. of Bergen, Norway
  Wang Yi, Uppsala Univ., Sweden

ORGANIZING COMMITTEE:

- Kim G. Larsen, Aalborg Univ., Denmark
- Jiri Srba, Aalborg Univ., Denmark
- Rikke W. Uhrenholt, Aalborg Univ. Denmark