Update of the information in [AL0206C1]
See full version of this Call for System Demonstrations .
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:
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ür Informatik, Universität München, Leopoldstr. 11B
D-80802 München, 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 or the plain-text version .