[CG] ================================================ AMAST Links 02 06

          7th Nordic Workshop on Programming Theory, NWPT'95
                  Goteborg, Sweden, 1-3 November 1995

   The _Call for Papers & Call for Participation_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206CG.txt

  The objective of the workshop is to bring together researchers from
the Nordic and Baltic countries interested in programming theory, in
order to improve mutual contacts and cooperation.  Typical topics of
the workshop include (but are not limited to):
 o   Semantics of programs
 o   Programming logics
 o   Program verification
 o   Formal specification of programs
 o   Program synthesis
 o   Program transformation and program refinement
 o   Modelling of concurrency
 o   Programming methods
 o   Tools for program construction and verification
  The workshop will mainly consist of 30-minute presentations, in
parallel sessions, with time between these for informal discussions.
Participants are encouraged to present work in progress. A collection
of abstracts of presentations will be distributed at the start of the
workshop. The proceedings will be published as a technical report.
  *Submission:* If you wish to give a presentation, please enclose a
one-page abstract of the talk.  If the number of proposed talks exceeds
the number of slots available, the Programme Committee will make a
selection, based on the submitted abstracts.
  *Demonstrations:* If you wish to demonstrate a non-commercial system
that is related to the workshop topics, please specify what hardware
and software is required, and enclose a one-page summary of the system.
Demonstrations will only be organized if there is sufficient demand.
  *Further details* about participation (limited to 75 participants!),
program committee, organization, cost, accommodation, and registration
form, are available in the full version of the Call mentioned above.
  *Deadline* for submission and registration: September 25.