History
The workshop alternates between the Nordic and Baltic countries. It started out as The Nordic Workshop on Program Correctness (NWPC). In 1993 the name was changed to The Nordic Workshop on Programming Theory (NWPT), reflecting the broadened scope of the workshop.
- NWPC '89: Uppsala, Sweden
- NWPC '90: Aalborg, Denmark, 3-5 October 1990
Proceedings: Internal Report IR 90-05, Dept. of Computer Science, Aalborg Univ., 1990 - NWPC '91: Göteborg, Sweden
- NWPC '92: Bergen, Norway, 2-4 November 1992
Selected Papers: Reports in Informatics No. 78, Univ. of Bergen, 1993 - NWPC '93: Turku, Finland, 25-28 October 1993
Proceedings: Reports on computer science & mathematics, Ser. B, No. 18, Åbo Akademi, 1994 - NWPT '94: Aarhus, Denmark, 17-19 October 1994
Proceedings (unrefereed): BRICS Notes Series NS-94-6, Aarhus Univ., 1994 - NWPT '95: Göteborg, Sweden, 1-3 November 1995
Proceedings (unrefereed): Programming Methodology Group Report No. 86, Univ. of Göteborg and Chalmers Univ. of Techn., 1996 - NWPT '96: Oslo, Norway, 4-6 December 1996
Selected Papers: Research Report No. 248, Dept. of Informatics, Univ. of Oslo, 1997 - NWPT '97:
Tallinn, Estonia, 15-17 October 1997
Selected Papers: Proc. of Estonian Acad. of Sci.: Engineering, v. 4, n. 2, 1998, and Proc. of Estonian Acad. of Sci.: Physics, Mathematics, v. 47, n. 3, 1998 - NWPT '98:
Turku, Finland, 14-16 October 1998
Selected Papers: Nordic J. of Computing, v. 6, n. 3, 1999 - NWPT '99:
Uppsala, Sweden, 6-8 October 1999
Selected Papers: Nordic J. of Computing, v. 8, n. 1, 2001 - NWPT '00:
Bergen, Norway, 11-13 October 2000
Selected Papers: Nordic J. of Computing, v. 8, n. 3, 2001 - NWPT '01:
Lyngby, Denmark, 10-12 October 2001
Selected Papers: Nordic J. of Computing, v. 9, n. 4, 2002 - NWPT '02:
Tallinn, Estonia, 20-22 November 2002
Selected Papers: Nordic J. of Computing v. 10, n. 4, 2003, and Proc. of Estonian Acad. of Sci.: Physics, Mathematics, v. 52, n. 4, 2003 - NWPT '03:
Turku, Finland, 29-31 October 2003
Selected Papers: Nordic J. of Computing, v. 11, n. 2, 2004 - NWPT '04:
Uppsala, Sweden, 6-8 October 2004
Selected Papers: Nordic J. of Computing, v. 12, n. 2, 2005 - NWPT '05:
Copenhagen, Denmark, 19-21 October 2005
Selected Papers: Nordic J. of Computing, v. 13, n. 1-2, 2006 - NWPT '06:
Reykjavík, Iceland, 18-20 October 2006
Selected Papers: J. of Logic and Algebraic Program., v. 77, n. 1-2, 2008 [online edition] - NWPT '07:
Oslo, Norway, 10-12 October 2007
Selected Papers: J. of Logic and Algebraic Program., v. 78, n. 7, 2009 [online edition] - NWPT '08:
Tallinn, Estonia, 19-21 Nov. 2008
Selected Papers: J. of Logic and Algebraic Program., v. 79, n. 7, 2010 [online edition] - NWPT '09: Lyngby, Denmark, 14-16 Oct. 2009
Selected Papers: J. of Logic and Algebraic Program., v. 81, n. 4, 2012 [online edition] - NWPT '10: Turku, Finland, 10-12 Nov. 2010
Selected Papers: J. of Logic and Algebraic Program., v. 81, n. 3, 2012 [online edition] - NWPT '11: Västerås, Sweden, 26-28 Oct. 2011
Selected Papers: J. of Logical and Algebraic Methods in Program., v. 84, n. 1, 2015 [online edition] - NWPT '12: Bergen, Norway, 31 Oct.-2 Nov. 2012
Selected Papers: J. of Logical and Algebraic Methods in Program., v. 83, n. 5-6, 2014 [online edition] - NWPT '13: Tallinn, Estonia, 20-22 Nov. 2013
Selected Papers: J. of Logical and Algebraic Methods in Program., v. 85, n. 6, 2016 [online edition] - NWPT '14:
Halmstad, Sweden, 29-31 Oct. 2014
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2017 [online edition] - NWPT '15:
Reykjavík, Iceland, 21-23 Oct. 2015
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2017-2019 [online edition] - NWPT '16:
Aalborg, Denmark, 31 Oct.-2 Nov. 2016
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2018-2019 - NWPT '17:
Turku, Finland, 1-3 Nov. 2017
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2019 [online edition] - NWPT '18:
Oslo, Norway, 24-26 Oct. 2018
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2020-2022 [online edition] - NWPT '19:
Tallinn, Estonia, 13-15 Nov. 2019
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2022-2023 - NWPT '21: Reykjavík, Iceland, 4-6 Nov. 2021
- NWPT '22:
Bergen, Norway, 2-4 Nov. 2022
Selected Papers: J. of Logical and Algebraic Methods in Program., virtual special issue, 2024-... [online edition] - NWPT '23: Västerås, Sweden, 22-23 Nov. 2023
- NWPT '24: Copenhagen, Denmark, 6-8 Nov. 2024
