Photo by Vesa Aaltonen

The 29th edition of Nordic Workshop on Programming Theory (NWPT'17) will be organized by Åbo Akademi University in Turku, Finland 1st–3rd November 2017.

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Submission of work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.

Selected submissions will appear in a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP).

Important dates

  • Submission 17th September 2017 19th September 2017 21st September 2017 23:59 (UTC)
  • Notification 4th October 2017 6th October 2017
  • Final version 16th October 2017
  • Registration 16th October 2017
  • Workshop 1st–3rd November 2017

Topics

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

Submission

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

The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be made publicly available. Moreover, you as an author are responsible for the content.

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.

Invited speakers

We are pleased to have three invited speakers for NWPT'17.

Marjan Sirjani Mälardalen University, Sweden and Reykjavik University, Iceland

Title: Event-based Analysis of Distributed Timed Actors

Abstract: Actor models have been used for modeling and analyzing distributed and asynchronous systems. Moreover, actors are being increasingly used in industry, and new actor-based languages are designed and used by Google and Microsoft, for example Go, P and Orleans. In the new era of cyber-physical systems, we need methods and techniques for safety and performance assurance of timed models. Floating Time Transition System (FTTS) is introduced as an event-based semantics for the actor-based language Timed Rebeca, and it is used for efficient model checking and performance evaluation of timed actors. I will explain FTTS and the action-based weak bisimulation relation between FTTS and the standard semantics in Timed Transition System, and how this relation guarantees preserving of the event-based properties. I will also show how Timed Rebeca is used in safety assurance and performance evaluation of different systems, like Network on Chip architectures, sensor network applications, Traffic Control systems, and quadcopter.

Marieke Huisman University of Twente, The Netherlands

Title: Verification of Concurrent Software with VerCors

Abstract: Concurrent software is inherently error-prone, due to the possible interactions and subtle interplays between the parallel computations. As a result, error prediction and tracing the sources of errors often is difficult. In particular, rerunning an execution with exactly the same input might not lead to the same error. To improve this situation, we need techniques that can provide static guarantees about the behaviour of a concurrent program. In this presentation, I present an approach based on program annotations, which is supported by the VerCors tool set. I will present the general set up of the approach, and discuss what kind of programs can be verified using this approach. Then I will dive into one concrete example, namely where we use the VerCors verification techniques to prove that compiler directives for program parallellisations (as done in OpenMP, for example) cannot change the behaviour of the program.

John Hughes Chalmers University of Technology, Sweden

Title: Testing the Hard Stuff and Staying Sane

Abstract: Even the best test suites can't entirely prevent nasty surprises: race conditions, unexpected interactions, faults in distributed protocols and so on, still slip past them into production. Yet writing even more tests of the same kind quickly runs into diminishing returns. I'll talk about new automated techniques that can dramatically improve your testing, letting you focus on what your code should do, rather than which cases should be tested--with plenty of war stories from the likes of Ericsson, Volvo Cars, and Basho Technologies, to show how these new techniques really enable us to nail the hard stuff.

Programme

The preliminary programme for the workshop is available HERE (updated 24th October 2017).

The workshop proceedings are available HERE.

Registration

The workshops registration fee is 250€, and it covers:

  • Lunches and refreshments for Wednesday, Thursday and Friday
  • Welcome reception on Wednesday evening
  • Conference dinner on Thursday evening
  • E-proceedings

To register for the workshop, please:

  1. Pay the workshop registration fee via the Åbo Akademi University webshop at the following LINK.
  2. Fill out the registration form at the following LINK.

Travel information

Turku Airport (TKU) has several daily connections from Helsinki (Finnair) and Stockholm (SAS). Additionally there are also daily connections from Riga and Gdansk. Turku city centre is approximately 8 km from the airport and can be reached by local bus line number 1 or by taxi.

It is also possible to fly into Helsinki and take a train or a bus from Helsinki Airport to Turku. This trip takes approximately 2.5 hours. If you take the train, you will first take the local train from the airport to Pasila station and then take a connecting train to Turku. Some of the bus connections to Turku also involves a transfer, but the bus will wait for the connecting bus and the bus driver will transfer your luggage.

Useful links

  • Föli has information on local public transport.
  • VR has train schedules and tickets.
  • Matkahuolto has bus schedules and tickets to e.g. Helsinki Airport.

Venue

The workshop will be held at Restaurant Linnateatteri (Puutarhakatu 8B, 20100 Turku).

The venue is just a 10 minutes walk from the Market square, and can also be reached with local bus lines 32 and 42.

Accommodation

We have prebooked a limited number of rooms at Scandic Plaza and Original Sokos Hotel Hamburger Börs.

Scandic Plaza

10 prebooked rooms. The price is 95€/night for single rooms and 100€/night for double rooms. The rooms are prebooked until 10th October 2017. To book a room contact the hotel via email plaza.turku@scandichotels.com or by phone +358 2 33200 and mention the code "NWTP".

Original Sokos Hotel Hamburger Börs

20 prebooked rooms. The price is 92€/night for single rooms and 102€/night for double rooms. The rooms are prebooked until 11th October 2017. To book a room contact the hotel via email sokos.hotels@sok.fi or by phone +358 20 1234600 and mention the code "NWPT'17".

Comittees

Program comittee

  • 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 (chair)

Organisers

  • Marina Waldén, Åbo Akademi Univ., Finland (chair)
  • Mojgan Kamali, Åbo Akademi Univ., Finland
  • Jonatan Wiik, Åbo Akademi Univ., Finland

Contact

Further information can obtained my mailing the organisers at nwpt17@abo.fi.