19-21 November 2008
Tallinn, Estonia
***** NEWS ***************************************************************
* Invited speakers: Dave Clarke, Vincent Danos, Martin Frnzle, Margus
Veanes.
* A special issue of selected papers in J. of Logic and Algebraic
Programming.
* A guided tour and reception in the new KUMU Art Museum, the 2008 winner
of the European Museum of the Year award.
***** NEWS ***************************************************************
20th Nordic Workshop on Programming Theory, NWPT '08
Tallinn, Estonia, 19-21 November 2008
http://cs.ioc.ee/nwpt08/
Call for Contributions
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), Gteborg (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) and
Reykjavk (2006). This year it is Tallinn's turn again and the
workshop will be celebrating its 20th anniversary.
The workshop will be organized by organized by Institute of
Cybernetics (Tallinn) and Dept. of Computer Science, Tallinn
University of Technology.
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, CWI, The Netherlands
* Vincent Danos, University of Edinburgh, UK
* Martin Frnzle, Carl von Ossietzky Univ. Oldenburg, Germany
* Margus Veanes, Microsoft Research, Redmond, WA, USA
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.
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
Programme Committee
* Luca Aceto, Reykjavk Univ., Iceland
* Michael R. Hansen, Technical Univ. of Denmark, Denmark
* Anna Inglfsdttir, Reykjavk Univ., Iceland
* Einar Broch Johnsen, University of Oslo, Norway
* Kim G. Larsen, Aalborg Univ., Denmark
* Bengt Nordstrm, 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)
* Jri Vain, Tallinn Univ. of Technology, Estonia (co-chair)
* Marina Waldn, bo Akademi University, Finland
* Uwe Wolter, Univ. of Bergen, Norway
* Wang Yi, Uppsala Univ., Sweden
Sponsors
The workshop is sponsored by EXCS, the new Estonian centre of
excellence in computer science, http://cs.ioc.ee/excs/.
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, Barcelona, Berlin Schnefeld, Brussels,
Copenhagen, Dublin, Dubrovnik, Frankfurt, Gothenburg, Hamburg,
Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk,
Moscow, Munich, Oslo, Paris, Prague, Riga, Rome, Simferopol, Stockholm
Arlanda, Vienna, Vilnius, and Warsaw.
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 2008 winner of the
European Museum of the Year award.
Further information
With questions, email nwpt08(at)cs.ioc.ee.