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 23:59 (UTC)
  • Notification 4th 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:

Registration

TBA

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