[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP: Nordic Workshop on Programming Theory (NWPT'11)

                  *** Call for Papers ***

           Mälardalen University, Västerås, Sweden

The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries, but also
from 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, 2003, and 2010), Aarhus (1994), Oslo
(1996 and 2007), Tallinn (1997, 2002 and 2008), Lyngby (2001 and
2009), Copenhagen (2005), and Reykjavik (2006).

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, and
- language-based security.

This year NWPT takes place at Mälardalen Real-Time Research
Centre (MRTC), and is hosted by the School of Innovation, Design, and
Engineering, Mälardalen University, Västerås, Sweden.


- Werner Damm, Professor, University of Oldenburg and OFFIS
- Michael Williams, SW Technology Program, Ericsson AB
- Glynn Winskel, Professor, University of Cambridge


- 16 Sep 2011: Submission of Abstracts
- 26 Sep 2011: Notification
- 07 Oct 2011: Registration
- 26-28 Oct, 2011: Workshop


Authors wishing to give a talk at the workshop are invited to submit
abstracts of 2-3 pages (pdf, printable on A4 paper, using
easychair.cls from http://www.easychair.org/easychair.zip) through
EasyChair at https://www.easychair.org/conferences/?conf=nwpt2011.
Work in progress as well as abstracts of manuscripts submitted for
formal publication elsewhere are permitted. The abstracts of the
accepted contributions will be available at the workshop.

After the workshop, selected papers will be invited for submission to
a special issue of The Journal of Logic and Algebraic Programming.


- Michael R. Hansen, Technical University of Denmark, Denmark
- Einar Broch Johnsen, University of Oslo, Norway
- Kim G. Larsen, Aalborg University, Denmark
- Anna Ingólfsdóttir, Reykjavik University, Iceland
- Bengt Nordström, Chalmers | University of Gothenburg, Sweden
- Olaf Owe, University of Oslo, Norway
- Paul Pettersson, Mälardalen University, Sweden
- Gerardo Schneider, IT University, Chalmers | University of Gothenburg,
  and University of Oslo, Norway
- Andrei Sabelfeld, Chalmers | University of Gothenburg, Sweden
- Tarmo Uustalu, Institute of Cybernetics, Estonia
- Jüri Vain, Tallinn University of Technology, Estonia
- Marina Walden, Åbo Akademi University, Finland
- Uwe Wolter, University of Bergen, Norway
- Wang Yi, Uppsala University, Sweden


- Paul Pettersson (co-chair)
- Cristina Seceleanu (co-chair)
- Jagadish Suryadevara
- Malin Rosqvist


Further information on http://www.mrtc.mdh.se/nwpt2011/,
or by mailing to the organizers at nwpt11(at)list.mdh.se