posted by user: srba || 3248 views || tracked by 4 users: [display]

NWPT 2016 : 28th Nordic Workshop on Programming Theory (NWPT'16)


When Oct 31, 2016 - Nov 2, 2016
Where Skoerping (Aalborg), Denmark
Submission Deadline Aug 16, 2016
Notification Due Sep 20, 2016
Final Version Due Oct 5, 2016
Categories    computer science   theory   semantics   verification

Call For Papers

First 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: August 26th, 2016


- 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.


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 through
EasyChair at the link
Work in progress as well as abstracts of manuscripts submitted for formal
publication elsewhere are welcome.


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.


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


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.


- To appear soon on the web-page.


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


- Kim G. Larsen
- Jiri Srba
- Rikke W. Uhrenholt

Related Resources

DNA 2018   International Conference On DNA Computing and Molecular Programming
ACII 2018   Advanced Computational Intelligence: An International Journal
ICFP 2018   International Conference on Functional Programming
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
CP 2018   Twenty-Fourth Conference on Principles and Practice of Constraint Programming
ICDIP-Ei, Scopus and CPCI 2018   ICDIP 2018 The 10th International Conference on Digital Image Processing--Ei Compendex, Scopus and CPCI
ICONIP 2018   25th International Conference on Neural Information Processing
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018
CONCUR 2018   29th International Conference on Concurrency Theory
ICTIR 2018   ACM SIGIR International Conference on the Theory of Information Retrieval