2nd CFP: NWPT'02

[The topic of this regional workshop is general programming theory; types in 
programming languages and type theory are directly within the scope and 
submissions from these areas welcome.

Registration data added. Note esp the early registration deadline. - T.U.]

2nd Call for Abstracts & Call for Participation:

       The 14th Nordic Workshop on Programming Theory, NWPT'02

                           Tallinn,  Estonia
                          20-22 November 2002


Important Dates

      Submission of abstracts & early registration: 
                                            30 September 2002
      Notification of acceptance/rejection: 21 October 2002

      Late registration: 31 October 2002


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 and
1999), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992 and
2000), Åbo (1993 and 1998), Aarhus (1994), Oslo (1996), Tallinn
(1997), Lyngby (2001). In 2002, the workshop will again be held in
Tallinn organized by Inst. of Cybernetics, Tallinn, and Dept. of
Computer Science, Tallinn Technical University.


Topics of the workshop 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 concurrent, distributed and mobile computing,
      tools for program verification and construction.


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
nwpt02@cc.ioc.ee by 30 September 2002. 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, a few, selected papers will be published
in a special issue of an international journal (under negotiation).

Registration and cost

Registration is done online using a form available from the workshop
webpage www.cc.ioc.ee/nwpt02.

The participation fee is 180 EUR (2800 EEK) for registrations received
before 30 September 2002 (those submitting abstracts that are not
selected for presentation will be able to cancel their registration)
and 200 EUR (3100 EEK) for registrations after that date, space
permitting. Registrations will be accepted until 31 October 2002. The
fee includes conference material, 5 coffee breaks, 3 lunches, a
reception and a conference dinner. Students from the Baltic countries
may apply for a fee waiver.


Tallinn, Estonia's capital, is famous for its pictoresque mediaeval
Old Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Frankfurt, Hamburg, Vienna, Moscow, Warsaw,
Copenhagen, Stockholm, Helsinki, ferries from Stockholm and
Helsinki. From Vilnius, Riga, the Eurolines coach service is the
practical travel option.

Invited Speakers

      Roland Backhouse (U. of Nottingham, UK)
       - Applying Relation Algebra to Program Construction
      Yuri Gurevich (Microsoft Research, Redmond, WA, USA)
       - Executable Specifications at Microsoft
      Bengt Jonsson (Uppsala U., SE)
       - Verification of Infinite-State and Parameterized Systems: 
         Regular Model Checking and Beyond 

Programme Committee

      Michael R. Hansen (Techn. U. of Denmark, DK)
      Magne Haveraaen (U. of Bergen, NO)
      Hannu-Matti Järvinen (Tampere U. of Techn., FI)
      Kim G. Larsen (Aalborg U., DK)
      Bengt Nordström (Chalmers U. of Techn., SE)
      Olaf Owe (U. of Oslo, NO)
      Kaisa Sere (Åbo Akademi, FI)
      Jüri Vain (Tallinn Techn. U., EE) - chair
      Wang Yi (Uppsala U., SE)

Organizing Committee

      Juhan Ernits (Inst. of Cybernetics, EE)
      Marko Kääramees (Inst. of Cybernetics, EE)
      Tarmo Uustalu (Inst. of Cybernetics, EE)
      Jüri Vain (Tallinn Techn. U., EE) - chair

Further Information

Further information is obtainable from the workshop webpage
http://www.cc.ioc.ee/nwpt02/. Questions should be sent to