The full version of this Call for Papers is available in two
forms: plain-text and LaTeX respectively.
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:
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 toImportant Dates
Martin Wirsing, AMAST'96 Program Chair, Institut für Informatik,
Universität Muenchen, Leopoldstr. 11B D-80802 München, Germany
e-mail: amast96-info@informatik.uni-muenchen.de
Submission of Papers: November 15, 1995Further Information
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