[CB] ================================================ AMAST Links 01 03

 Tools & Algorithms for the Construction & Analysis of Systems, TACAS
              University of Aarhus, Denmark, May 19-20, 1995

  This workshop is organized as a satellite activity of the TAPSOFT'95
conference, May 22--26, University of Aarhus.
  *Aim* of the workshop is to bring together researchers and
practitioners interested in the development and application of tools
and algorithms for specification, verification, analysis and
construction of distributed systems. The overall goal of the workshop
is to compare the various methods and the degree to which they are
supported by interacting or fully automatic tools. Special sessions
for demonstration of verification tools will be planned.
  *Topics* of the workshop include (but are not limited to):
 o  Refinement-based verification and construction techniques
 o  Compositional verification methodologies
 o  Analysis and verification via theorem-proving
 o  Decision procedures for verification and analysis
 o  Specification formalisms, process algebras, temporal & modal logics
 o  Analysis techniques for real-time and/or probabilistic systems
 o  Approaches for value-passing systems
 o  Tool sets for verification and analysis
 o  Case studies
  *Submissions:* extended abstract, max. 15 pages, by March 1, 1995.
Authors will be notified of acceptance by April 10, 1995. A final
version of selected papers may be published after the workshop.
Electronic submission is encouraged via email. The submission should
be sent to Arne Skou (ask@iesd.auc.dk) in two seperate files:
 o  Your original file (LaTeX, troff, etc.)
 o  An encapsulated postscript file which can be printed by any
    postscript device.
Alternatively, submissions may be sent by ordinary mail (5 copies) to:
   Arne Skou, Aalborg University, Dep't Mathematics & Computer Science
   Fredrik Bajersvej 7, DK-9220 Aalborg, Denmark
  *Organization Committee:* Arne Skou, BRICS, Aalborg Univ., Denmark
  *Programme Committee:* Ed Brinksma (Univ. Twente, NL), Kim Larsen
(BRICS, Aalborg Univ., DK), Bernhard Steffen (Univ. Passau, D),
Rance Cleaveland (North Carolina State Univ., USA).