Proceedings of the 23rd Nordic Workshop on Programming Theory : October 26-28, 2011, Västerås, Sweden

摘要: The objective of the Nordic Workshop on Programming Theory is to bring together researchers from (but not limited to) and Baltic countries interested in programming theory, order improve mutual contacts cooperation. 23rd took place at Malardalen University, Sweden, 26-28 October 2011. previous workshops were held Uppsala (1989, 1999, 2004), Aalborg (1990), Goteborg (1991 1995), Bergen (1992 2000), Abo (1993, 1998, 2003, 2010), Aarhus (1994), Oslo (1996 2007), Tallinn (1997, 2002 2008), Lyngby (2001 2009), Copenhagen (2005), Reykjavk (2006). There 36 regular presentations workshop. In addition, following four invited speakers gave presentations: Werner Damm (University Oldenburg OFFIS, Germany), Bjorn Lisper (Malardalen Sweden), Michael Williams (Ericsson AB, Glynn Winskel Cambridge, United Kingdom).