cr@cs.stir.ac.UK (Chic Rattray) (08/14/90)
\documentstyle[a4wide,11pt]$letter
\begin$document
\begin$letter
\address$Department of Computer Science \\
The University of Iowa \\
Iowa City \\
Iowa 52242 \\
USA \\
\signature$M. Nivat \\
General Chairman \\
\vspace$0.25in
T. Rus \\
Chairman of Programme Committee
\opening$To: all contributors and participants, 2nd AMAST Conference
The Second Colloquium on Algebraic Methodology and Software Technology
(AMAST), to be held on May 22-24, 1991, in Iowa City, Iowa, USA, will
again be focused on subjects that consolidate the trend of using algebraic
methods in software development. To be more precise, the organisers
wish contributions on, but not limited to:
\begin$itemize
\item algebraic methods for language design and compiler construction,
e.g. for Algol-like programming languages
\item algebraic methodology for software engineering
\item algebraic specifications and algorithms to automatically build
programs from such specifications
\item practical techniques and examples for verification of program
and/or specification properties.
\end$itemize
The organisers believe that recent progress in these areas makes possible
the publication of a book containing comprehensive presentations of a
number of methods which are both theoretically well founded and efficiently
implemented. The field is now well enough developed to give rise to a
collection of synthesis papers presenting those methods which will have
a real value for researchers, students, and engineers, actually
working in software design and development. We will seek a publisher
for this project.
More abstract or theoretical contributions presenting logical systems
and algebraic models will also be welcome, even if they do not yet
give rise to sizable experiments on computers. A special issue of the
journal ``Theoretical Computer Science'' will be dedicated to such
contributions to the second AMAST conference.
\closing$^^^^
\end$document