[Prev][Next][Index][Thread]
NWPT'00 - 12th Nordic workshop on programming theory
For more information see:
http://www.ii.uib.no/~nwpt00/
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
Theme
-----
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,
etc.
Submission
----------
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.
Publication
-----------
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
http://www.ii.uib.no/~nwpt00/