Difference between revisions of "NWPT 2014"

Jump to: navigation, search
Line 118: Line 118:
Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]
Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]
The campus map can be found here: [http://www.hh.se/download/18.11d2593b140cc0555547a4/1378219868499/karta+med+text+HH_2013+eng.pdf http://www.hh.se/download/18.11d2593b140cc0555547a4/1378219868499/karta+med+text+HH_2013+eng.pdf]. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.
The campus map can be found [http://www.hh.se/download/18.a1aee661454347d5b4426a5/1399619424979/Campuskarta+A5+ENG-MAJ+2014.pdf here]. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.
==Directions to Halmstad==
==Directions to Halmstad==

Revision as of 01:16, 26 August 2014

NWPT 2014 Poster.

26th Nordic Workshop on Programming Theory, NWPT '14

October 29-31, 2014 - Halmstad University, Sweden


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

Call for Papers


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.

Important Dates

Tentative deadlines:

  • 14 September 2014: Submission of abstracts
  • 28 September 2014: Notification
  • 5 October 2014: Registration deadline


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 from http://www.easychair.org/easychair.zip) through EasyChair. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.

Submission website is located at: https://www.easychair.org/conferences/?conf=nwpt2014


The abstracts of the accepted contributions will be available at the workshop.

We have arranged a special issue of the Journal of Logic and Algebraic Methods in Programming dedicated to the best contributions of the workshop. The contributions will be invited after the workshop and will undergo a rigorous review process according to the stringent rules of JLAMP.

Invited Speakers

Title: Concurrent Programming Education in the Post-Java Era
Many-core architectures - service orientation - business processes - app technology - pervasive systems - organic computing. All these are en vogue topics in computing practice. At their common core, they all revolve around ways to master and exploit concurrency. Unfortunately, concurrency is a notoriously difficult subject to master. Our students are facing the challenge. Do we educate them properly?
This invited talk asks for concerted efforts to make our foundational concurrency education apt for the concurrency challenges. As a potential nucleus it presents pseuco.com, an open platform for light weight education of the core principles of concurrency theory and practice. This is wrapped in a simple, yet executable pseudocode notation, and features ways to study semantic as well pragmatic aspects of concurrent programming, covering both message-passing and shared-memory paradigms.

Title: New Advances in Quantitative Information Flow
Quantitative Information Flow deals with the leakage of secret information by programs and systems due to the (probabilistic) correlation with public observables. In this talk we will report on one of the most recent proposals to formalize the notion of the vulnerability of the secrets. This approach offers a rich operational model of the attacker, based on decision theory, and it turns out that it is characterized by a surprisingly simple set of axioms. Then, we will discuss the relation with the axiomatic systems defining Shannon and Renyi information theory, which have been the foundations of the most popular proposal for (quantitative) language-based security so far, thus providing an axiomatically structured view of the field.


To be announced.

Program Committee

  • Luca Aceto, Reykjavík Univ., Iceland
  • Lars Birkedal, Aarhus Univ., Denmark
  • Einar Broch Johnsen, Univ. of Oslo, Norway
  • Michael R. Hansen, DTU, Denmark
  • Keijo Heljanko, Aalto Univ., Finland
  • Fritz Henglein, Univ. of Copenhagen, Denmark
  • Yngve Lamo, Bergen Univ. Col., Norway
  • Kim G. Larsen, Aalborg Univ., Denmark
  • Mohammad Mousavi, Halmstad Univ., Sweden
  • Bengt Nordström, Univ. of Gothenburg, Sweden
  • Olaf Owe, Univ. of Oslo, Norway
  • Paul Pettersson, Mälardalen Univ., Sweden
  • Gerardo Schneider, Chalmers, Sweden
  • Walid Taha, Halmstad Univ., Sweden
  • Tarmo Uustalu, Inst. of Cybernetics, Estonia
  • Jüri Vain, Tallinn Univ. of Tech., Estonia
  • Marina Waldén, Åbo Akademi Univ., Finland
  • Uwe Wolter, Univ. of Bergen, Norway
  • Wang Yi, Uppsala Univ., Sweden


The workshop will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular holiday destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill.

Directions to/in Campus

Directions for getting to campus can be found at http://www.hh.se/english/abouttheuniversity/visitus.307_en.html

The campus map can be found here. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.

Directions to Halmstad

Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport to Stockholm.

If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. The train leaves from the airport itself approximately once an hour on weekdays. We recommend that you check the time-table at the Swedish Railways site and allow one hour from touchdown to getting to the train station (just outside customs). (It seems that you can take an earlier or a later train on the same day regardless of the exact train you booked, but obviously you will lose your seat reservation if you have made one.) To get to your hotel, you can combine a taxi booking with your train ticket at the Swedish Railways site and a driver will wait for you with your name mentioned on a board once you arrive in Halmstad.

In Halmstad, everything is either in walking distance or a short taxi ride away. Usually there are taxis at the station. If there are none there is a phone that connects directly to the local taxi company. For the eventuality that the phone is not working, it is good to have a cell phone handy. The number for the taxi company is written on the phone.

Note that CPH is in Denmark (and not in Sweden). So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That is one transfer and one wait.


Here are some suggestions for the accommodation, with an indication of their price range, (obtained from booking.com) and their distance to the summer school venue:

  • Hotel Continental (~140-160 EUR / night, 1.5km)
  • Scandic Hallandia (~160-200 EUR / night, 2km)
  • Hotel Amadeus (~100-120 EUR / night, 2.5km)
  • First Hotel Martenson (~130-150 EUR / night, 2km)
  • Quality Hotel Halmstad (~80-100 EUR / night, 3 km)
  • STF Halmstads Hostel Kaptenshamn (~80-100 EUR / night, 2km)


The previous editions were held in

  • Uppsala (1989, 1999 and 2004),
  • Aalborg (1990),
  • Göteborg (1991 and 1995),
  • Bergen (1992, 2000 and 2012),
  • Åbo (1993, 1998, 2003 and 2010),
  • Aarhus (1994),
  • Oslo (1996, 2007),
  • Tallinn (1997, 2002, 2008 and 2013),
  • Lyngby (2001 and 2009),
  • Copenhagen (2005),
  • Reykjavík (2006), and
  • Västerås (2011).


  • Veronica Gaspes (Organization Chair, veronica.gaspes@hh.se)
  • Mohammad Mousavi (Program Co-Chair, m.r.mousavi@hh.se)
  • Eva Nestius (Local Organization)
  • Walid Taha (Program Co-Chair, walid.taha@hh.se)