20th Nordic Workshop on Programming Theory, NWPT '08

Tallinn, Estonia, 19-21 November 2008

Call for Papers

Background

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 and 2000),
Åbo (1993, 1998, and 2003),
Aarhus (1994),
Oslo (1996, 2007),
Tallinn (1997 and 2002),
Lyngby (2001),
Copenhagen (2005)
Reykjavík (2006).

This year it is Tallinn's turn again and the workshop will be celebrating its 20^th anniversary.

The workshop will be organized by organized by Institute of Cybernetics (Tallinn) and Dept. of Computer Science, Tallinn University of Technology.

Some history of NWPT.

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,
program transformation and refinement,
real-time and hybrid systems,
models of concurrency and distributed computing,
tools for program verification and construction.

Invited Speakers

Dave Clarke, Katholieke Universiteit Leuven, Belgium (details)
Vincent Danos, University of Edinburgh, UK (details)
Martin Fränzle, Carl von Ossietzky Univ. Oldenburg, Germany (details)
Margus Veanes, Microsoft Research, Redmond, WA, USA (details)

Submission

Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper) through EasyChair by 3 October, 2008. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

Publication

The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming.

Important Dates

Submission of abstracts: 3 October, 2008
Notification: 17 October, 2008
Registration: 7 November, 2008

Programme Committee

Luca Aceto, Reykjavík Univ., Iceland
Michael R. Hansen, Technical Univ. of Denmark, Denmark
Anna Ingólfsdóttir, Reykjavík Univ., Iceland
Einar Broch Johnsen, University of Oslo, Norway
Kim G. Larsen, Aalborg Univ., Denmark
Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Technology, Sweden
Olaf Owe, University of Oslo, Norway
Gerardo Schneider, University of Oslo, Norway
Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair)
Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair)
Marina Waldén, Åbo Akademi University, Finland
Uwe Wolter, Univ. of Bergen, Norway
Wang Yi, Uppsala Univ., Sweden

Organising Committee

Juhan Ernits, Institute of Cybernetics
Monika Perkmann, Institute of Cybernetics
Kristi Uustalu, Institute of Cybernetics
Tarmo Uustalu, Institute of Cybernetics

Venue

Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Brussels, Copenhagen, Dublin, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, Vienna and Vilnius.

Old Town (Blackheads, Maikrahv, hotels) map, aerial photo, Kadriorg (KUMU) map, aerial photo

The workshop will take place in the historic House of the Brotherhood of the Blackheads in the Old Town at walking distance from all central hotels.

The social programme includes a guided tour and a welcome reception in the new (opened 2006) KUMU Art Museum in Kadriorg. KUMU, designed by the Finnish architect Pekka Vapaavuori, has earned several recognitions for its architecture and is the winner of the 2008 European Museum of the Year award.

Further information

With questions, please send an email to nwpt08(at)cs.ioc.ee

Last changed November 18, 2008 21:39 EET by local organizers, nwpt08(at)cs.ioc.ee