### Nordic Workshops on Programming Theory, NWPT

## 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 - NWPT '07:
Oslo, Norway, 10-12 October 2007

Selected Papers: J. of Logic and Algebraic Program., v. 78, n. 7, 2009 - NWPT '08:
Tallinn, Estonia, 19-21 Nov. 2008

Selected Papers: J. of Logic and Algebraic Program., v. 79, n. 7, 2010 - NWPT '09: Lyngby, Denmark, 14-16 Oct. 2009

Selected Papers: J. of Logic and Algebraic Program., v. 81, n. 4, 2012 - NWPT '10: Turku, Finland, 10-12 Nov. 2010

Selected Papers: J. of Logic and Algebraic Program., v. 81, n. 3, 2012 - 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 - 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 - NWPT '13: Tallinn, Estonia, 20-22 Nov. 2013

Selected Papers: J. of Logical and Algebraic Methods in Program., v. 85, n. 6, 2016 - NWPT '14:
Halmstad, Sweden, 29-31 Oct. 2014

Selected Papers: J. of Logical and Algebraic Methods in Program., v. xx, n. x, 201x - NWPT '15:
Reykjavík, Iceland, 21-23 Oct. 2015

Selected Papers: J. of Logical and Algebraic Methods in Program., v. xx, n. x, 201x - NWPT '16: Aalborg, Denmark, 31 Oct.-2 Nov. 2016
- NWPT '17: Turku, Finland, Oct./Nov. 2017

(Based on an earlier version by Magne Haveraaen.)

Last changed **
October 20, 2016 23:21 EET**
by
local organizers, nwpt13 (at) ioc.ee