The logo of ICE-TCS is courtesy of Emilka Bojanczyk. Reykjavik University.

27th Nordic Workshop on Programming Theory, NWPT 2015

21-23 October 2015, Reykjavik University, Iceland

RU

Local information

We strongly recommend that you plan your trip to Reykjavik for NWPT 2015 as early as possible.

[Registration (Deadline: 2 October 2015) Note: there was an error in the SWIFT code in the original version of the registration file. The SWIFT code for the bank is GLITISRE.]
[Accommodation]
Getting to Reykjavik from the airport: Keflavik airport is located 45 minutes from Reykjavik. We recommend the FlyBus to get from the airport to the Reykjavik Bus Terminal (BSÍ) for 1950 ISK. A premium service called FlyBus+ will drop you off at your hotel. You can buy your ticket on line, which we recommend.
Where to eat in Reykjavik: You can try the suggestions from or ask one of us for advice.

How to get to the workshop dinner

How to get to Reykjavik University

[Location of Reykjavik University and walking directions from Hotel Natura Reykjavik]
[Location of Reykjavik University and walking directions from Hotel Fron]
Bus number 5 comes to Reykjavik University (bus stop: Nauthólsvík - HR) every 15 minutes in the mornings. See [Venue and some local information (from the SIROCCO 2012 web site)] Note: the bus information on that web site is outdated!

Map of Reykjavik University

The map of Reykjavik University is here (PDF file). The workshop will be held in rooms M208 (Wednesday), V201 (Thursday) and M104 (Friday). The welcome reception will be held in Olympus on the third floor in Mars, roughly where label 17 is on the map for the third floor.

Programme and proceedings for the workshop

The programme for the workshop is available here (last updated on Thursday, 21 October 2015).
The proceedings for the workshop are available here. The reference is

Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015 (Luca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez and Anna Ingolfsdottir, editors), Technical report RUTR-SCS16001, School of Computer Science, Reykjavik University, February 2016.

Event description

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The 27th edition of the Nordic Workshop on Programming Theory will be hosted by the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) and the School of Computer Science at Reykjavik University. The workshop will take place on the premises of Reykjavik University.

Invited speakers

Scope

Topics of interest include (but are not limited to)

Submission information and important dates

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.

Important dates

Publication

The abstracts of the accepted contributions will be available electronically before 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.

Committees

Program Committee

Organizing committee

Please send comments and bug reports to Luca Aceto.