[C1] ================================================ AMAST Links 02 08

5th Int'l Conf. Algebraic Methodology and Software Technology, AMAST'96
                   M"unich, Germany, July 1-5, 1996

   *Update* of the information in [AL0206C1]
   See full version of this _Call for System Demonstrations_ at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208C1.txt

  We invite submissions for system demonstrations showing the 
effectiveness of software developed on a mathematical basis. The topics
of interest include, but are not limited to, the following:
 o  Software Development Environments
 o  Support for Correct Software Development
 o  System Support for Reuse
 o  Tools for Prototypiung, Validation and Verification
 o  Theorem Proving Systems
  We invite prospective authors to submit 6 copies of system demo 
proposals (4 double spaced pages maximum) in an area relevant to the
conference theme. Papers should provide adequate information for the
reviewers to assess the significance and anticipated impact of the
system on software technology. All submissions must be sent to 
   Martin Wirsing, AMAST'96 Program Chair,
   Institut f"ur Informatik, Universit"at M"unchen, Leopoldstr. 11B
   D-80802 M"unchen, Germany.
   Phone: ++49/89/ 2180-6317,  Fax: ++49/89/ 2180-6310
   e-mail: amast96-info@informatik.uni-muenchen.de
  *Important Dates:*
   Submission of System Demo Proposals:               January 15, 1996
   Notification of Acceptance/Rejection:              February 1, 1996
   Camera-ready Version Accepted System Demo Proposals: March 15, 1996
   Submission of Student Research Papers:                 June 1, 1996
   Education Day:                                         July 1, 1996
   Conference Days:                                     July 2-5, 1996
  *Further Information.* See the full version of this announcement at
the URL above, or the _Postscript version_ at the URL:
   http://www.pst.informatik.uni-muenchen.de/amast96/ 
or the _plain-text version_ at URL: 
   http://www.cs.utwente.nl/data/amast/amast96/CallForDemos.txt