NWPT'00 - 12th Nordic workshop on programming theory

For more information see:

Call for Papers and Participation:

        The 12th Nordic Workshop on Programming Theory 
                University of Bergen, Norway
                   October 11-13, 2000

Objective of the workshop
The objective of the workshop is to bring together researchers from (but
not limited to) the Nordic and Baltic countries interested in programming
theory, in order to improve mutual contacts and cooperation.

The workshop alternates between the Nordic and Baltic countries. In 2000
the workshop will again take place in Bergen, Norway, organised by the
Programming theory group in the Department of Informatics at the
University of Bergen.

Important dates 
Submission of abstracts/registration: September 15
Notification of acceptance: September 25
Workshop: October 11-13

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

      Formal specification of programs 
      Foundations of programming 
      Program logic and type systems 
      Program modelling 
      Program modularisation and construction 
      Program synthesis 
      Program transformation and refinement 
      Program verification 
      Programming methods 
      Real-Time and hybrid systems 
      Semantics of programs 
      Testing and validation 
      Tools for programming and verification 

Programming should be understood in a wide sense, covering concurrency,
distributed system, netbased systems, object orientation, open systems,

If you wish to give a presentation, please submit a short (1-3 pages)
abstract of it (LaTeX, plain ISO text, or PostScript). In the event that
the number of proposed talks exceeds the number of slots available, the
Programme Committee will make a selection, based on the submitted
abstracts. (Those who submit abstracts that are not selected for
presentation will be able to cancel their registration and obtain a refund
of the fees.) Electronic submission to nwpt00@ii.uib.no is strongly
encouraged.  Otherwise use the contact address below.

The abstracts of the accepted contributions will be included in the
workshop proceedings, which will be available at the workshop (and on the
workshop web page). After the workshop we intend to publish a collection
of selected papers in a special issue of a journal (under negotiation).

Programme Committe
Magne Haveraaen (Bergen, NO)
Hannu-Matti Järvinen (Tampere, FI)
Kim G. Larsen (Aalborg, DK) 
Bengt Nordström (Chalmers, SE)
Olaf Owe (Oslo, NO)
Hans Rischel (DTU, Lyngby, DK)
Kaisa Sere (Åbo Akademi, FI)
Jüri Vain (Inst. of Cybernetics, EE)
Wang Yi (Uppsala, SE)

Contact information
More information may be requested by e-mail to nwpt00@ii.uib.no, ordinary
mail to the contact address NWPT'00, Magne Haveraaen, Dept. of
Informatics, University of Bergen, Box 7800, N-5020 Bergen, Norway, or
obtained directly from