32nd Nordic Workshop on Programming Theory, NWPT 2021

Reykjavik, Iceland, and online, 4-6 November 2021

NWPT '20 was cancelled (postponed) because of Covid. NWPT '21 is going ahead as a hybrid conference at an exceptionally short notice.


Programme

The workshop will run from Thu 4 Nov 9.00 (Reykjavik time, GMT+0) to Sat 6 Nov afternoon ~15.00.

Here is the programme.

Registration

Please register by Mon 25 October evening, latest Tue 26 October 09.00 Reykjavik time (GMT+0) using this form.

Registration fee for physical attendance is 280 EUR. It covers the lunches and coffee breaks at the venue during the 3 days of the workshop, the conference dinner and the excursion. This fee is to be paid by bank transfer to Reykjavik University. Here are the instructions for payment.

Online attendance is free, but you still need to register.

Travel information

Here is some travel information that you may find useful.


Important dates


About NWPT

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

Topics of interest include (but are not limited to)

Here's the history of the workshop.

Invited talks

Giovanni Bacci, Aalborg U., Denmark
Ornela Dardha, U. of Glasgow, UK

Contributed talks

If you wish to give a talk at the workshop, please submit an abstract of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 10 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are welcome.

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

Journal special issue

If the number and quality of submissions warrants this, we may plan a special issue of a journal. Traditionally, the best papers from NWPT have been published in Elsevier's Journal of Logic and Algebraic Methods in Programming and they are happy to publish a special issue again.

Programme committee

Antonis Achilleos, Reykjavík U., Iceland (chair)
Lars Birkedal, Aarhus U., Denmark
Johannes Borgström, Uppsala U., Sweden
Martin Elsman, U. of Copenhagen, Denmark
Magne Haveraaen, U. of Bergen, Norway
Keijo Heljanko, U. of Helsinki, Finland
Fritz Henglein, U. of Copenhagen, Denmark
Einar Broch Johnsen, U. of Oslo, Norway
Jaakko Järvi, U. of Bergen, Norway
Yngve Lamo, Western Norway U. of Applied Sciences, Norway
Dylan McDermott, Reykjavík U., Iceland
Fabrizio Montesi, U. of Southern Denmark, Denmark
Wojciech Mostowski, Halmstad U., Sweden
Olaf Owe, U. of Oslo, Norway
Morten Rhiger, Roskilde U., Denmark
Alejandro Russo, Chalmers U. of Technology, Sweden
Philipp Rümmer, Uppsala U., Sweden
Alceste Scalas, Technical U. of Denmark, Denmark
Cristina Seceleanu, Mälardalen U., Sweden
Jiří Srba, Aalborg U., Denmark
Sandro Stucki, Chalmers U. of Technology, Sweden
Tarmo Uustalu, Reykjavík U., Iceland
Jüri Vain, Tallinn U. of Technology, Estonia
Antti Valmari, U. of Jyväskylä, Finland
Niccolò Veltri, Tallinn U. of Technology, Estonia
Marina Waldén, Åbo Akademi U., Finland

Venue

The workshop will be held at the premises of Reykjavik University, close to the city center of Reykjavik, hosted by the ICE-TCS research center of the Department of Computer Science.

Social programme

We are planning a trip/hike to the currently active Geldingadalir volcano and a conference dinner.

Our younger colleagues are also enthusiastic about showing you the best that Reykjavik has to offer (swimming pools etc).

Covid situation in Iceland

The epidemiological situation in Iceland is currently good. For detailed information, check covid.is.

This may change, but at the moment anyone fully vaccinated or recovered from Covid can enter the country without any restriction of movement after arrival, but needs to present a negative result from a PCR or rapid antigen test taken before departure (not older than 72 hours). Check island.is.

Organizers

Antonis Achilleos, Elli Anastasiadi, Dylan McDermott, Tarmo Uustalu

Contact

Do not hesitate to get in touch with Antonis Achilleos or Tarmo Uustalu.


Last update 24 October 2021