Logic List Mailing Archive

17th Nordic Workshop on Programming Theory, Copenhagen, October 2005

PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS

The 17th Nordic Workshop on Programming Theory (NWPT'05)
http://www.diku.dk/NWPT05/
19-21 October, 2005,
Copenhagen, Denmark

The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries (but
also elsewhere).  The previous workshops were held in Uppsala
(1989, 1999 and 2004), Aalborg  (1990), Gothenburg (1991 and
1995), Bergen (1992 and 2000), Turku (1993, 1998, and 2003),
Aarhus (1994), Oslo (1996), Tallinn (1997 and  2002), Lyngby
(2001).  This time the workshop will be held in Copenhagen.

 Scope

Typical topics of the workshop include (but are not limited to):

        "       Semantics of programs
        "       Programming logics
        "       Program verification
        "       Formal specification of programs
        "       Program synthesis
        "       Program transformation and program refinement
        "       Real-Time and hybrid systems
        "       Modeling of concurrency
        "       Programming methods
        "       Tools for program construction and verification


SUBMISSIONS

Authors wishing to give a talk at the workshop are requested to
submit an abstract of 1-3 pages (ps or pdf, printable on A4 paper)
to nwpt05(at)diku.dk by 19th  September 2005.  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 Nordic Journal of Computing.

 Important Dates (tentative)

19. September:          Submission of abstracts
5. October:             Notification of acceptance
3. October:             Registration
19-21October:           WORKSHOP


ORGANISING COMMITTEE

Neil Jones, Jesper Andersen,...

        nwpt05(at)diku.dk

More (and more current) information is available at

        http://www.diku.dk/NWPT05/

A short history of the  workshop is available at

        http://www.cc.ioc.ee/nwpt02/history.html