NWPT 2013 - 25th Nordic Workshop on Programming Theory

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). 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 and 2008),
Lyngby (2001 and 2009),
Copenhagen (2005),
Reykjavík (2006), and
Västerås (2011).
Scope
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.
NWPT 2013 takes place in Tallinn and is jointly organised by Department of Computer Science and the Institute of Cybernetics at Tallinn University of Technology.
Invited Speakers
Keijo Heljanko (Aalto University)
Shin-ya Katsumata (Kyoto University)