[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):

• Refinement-based verification and construction techniques
• Compositional verification methodologies
• Analysis and verification via theorem-proving
• Decision procedures for verification and analysis
• Specification formalisms, process algebras, temporal & modal logics
• Analysis techniques for real-time and/or probabilistic systems
• Approaches for value-passing systems
• Tool sets for verification and analysis
• 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:

• Your original file (LaTeX, troff, etc.)
• 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).