[C1] ================================================ AMAST Links 02 06

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

   The full version of this Call for Papers is available in two
   forms: plain-text (?=txt) and LaTeX (?=tex) respectively at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206C1.?
  The goal of the AMAST Conferences is to put software development 
technology on a firm, mathematical foundation. Particular emphasis is 
given to algebraic and logical foundations of software technology.  An
eventual goal is to establish algebraic and logical methodology as a 
practically viable and attractive alternative to the prevailing ad hoc
approaches to software engineering.
  Topics of interest include, but are not limited to, the following:
 1. Software Technology			
 2. Programming Methodology
 3. Algebraic And Logical Foundations
 4. Systems and Tools (for system demonstrations)
  Prospective authors are invited to submit 6 copies of unpublished 
papers (double spaced, max 15 pages for papers, 4 pages for system demo
proposals) in an area relevant to the  conference theme. Papers should
provide adequate information for the reviewers to assess significance
and anticipated impact on the foundations of software technology.
   Submissions (papers and system demo proposals) must be sent to 
   Martin Wirsing, AMAST'96 Program Chair, Institut f"ur Informatik,
   Universit"at Muenchen, Leopoldstr. 11B D-80802 M"unchen, Germany
   e-mail: amast96-info@informatik.uni-muenchen.de
*Important Dates*
   Submission of Papers: November 15, 1995
   Submission of System Demo Proposals: December 15, 1995
   Submission of Student Research Papers: June 1, 1996
   Notification of Acceptance/Rejection: February 1, 1996
   Camera-ready Version of Accepted Papers: March 15, 1996
   Education Day: July 1, 1996
   Conference: July 2-5, 1996
*Further Information*
WWW : http://www.pst.informatik.uni-muenchen.de/konferenzen
e-mail : amast96-info@informatik.uni-muenchen.de