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

12th Nordic workshop on programming theory



For more information see:
	http://www.ii.uib.no/~nwpt00/
Now updated with hotel reservation and payment information.

Call for Papers and Participation:

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


Important dates 
---------------
Submission of abstracts and registration / hotel reservation: 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.


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/