From: scollo@cs.utwente.nl (Pippo Scollo)
Subject: AMAST'93 Call for Papers (latex)
Keywords: algebraic specification, software development
Organization: University of Twente, Dept. of Computer Science
Date: Fri, 4 Sep 1992 14:49:51 GMT

\documentstyle [titlepage,11pt]{article}
\pagestyle{plain}
\pagenumbering{alph}
\textwidth = 6.75in
\textheight = 8.5in
\topmargin = -0.3in
\topskip = 0in
\oddsidemargin = -0.1in
\evensidemargin = -0.1in
\addtolength{\parskip}{0.5ex}
\begin{document}
\setcounter{page}{0}
\begin{center}
{\Large {\bf Call for Papers}}\\
{\large {\bf Third International Conference on Algebraic}}\\
{\large {\bf Methodology and Software Technology, AMAST}}\\
\end{center}
\section*{Goals and Organization}

The goal of the third AMAST conference to be held on June 22--25, 1993,
at the University of Twente, Enschede, The Netherlands,
is to consolidate the trend towards using algebraic methodology
as a foundation for software technology,
and to show that universal algebra provides a practical mathematical
alternative to the common, ad-hoc approaches to software engineering and
development.
Academia and industry are both beneficiaries of such a formal foundation.

\bigskip\noindent{\bf Organizing Committee:}

\noindent
\begin{tabular}{lll}
General chairman: & Maurice Nivat & (University of Paris VII, Paris, F)
\\
Programme chairman: & Giuseppe Scollo & (University of Twente, Enschede, NL)
\\
Publicity chairman:
&  Charles Rattray & (University of Stirling, GB)
\\
&  Teodor Rus & (University of Iowa, Iowa City, IA, USA)
\\
&  V.S. Alagar & (Concordia University, Montreal, Canada)
\\
Local chairman: & Ed Brinksma & (University of Twente, Enschede, NL)
\\
Finance chairman: & Frans van der Avert & (University of Twente, Enschede, NL)
\\
Members:
&  Mohammed Bettaz & (University of Constantine, Algeria)
\\
&  Christine Choppy & (University of Paris-Sud, LRI, Orsay, F)
\\
&  Pierre Deransart & (INRIA, Rocquencourt, F)
\\
&  Arthur Fleck & (University of Iowa, Iowa City, IA, USA)
\\
&  Luigi Logrippo & (University of Ottawa, Ontario, Canada)
\\
&  Michael O'Donnell & (University of Chicago, IL, USA)
\\
&  Juan Quemada & (University of Madrid, E)
\\
&  Ralph Wachter & (Office of Naval Research, Arlington, VA, USA)
\\
\end{tabular}

\noindent
\begin{tabular}{ll}
Local Committee: & 
   Herman Balsters, Han B\"{a}umer, Pim van den Broek, Rolf de By,
\\
&  Maarten Fokkinga, Pim Kars, Mark van de Voort, Job Zwiers
\\
Secretariat: & Yvonne Rokker
\end{tabular}
 
\smallskip\noindent{\bf Programme Committee:}

\noindent
Martin~Abadi,
Egidio~Astesiano,
Choukri-Bey~Ben-Yelles,
Michel~Bidoit,
Wim~Blok,
Chris~Brink,
\\
Pierre-Luis~Curien,
Kokichi~Futatsugi,
Steven~Givant,
William~S.~Hatcher,
Douglas~J.~Howe,
\\
Bjarni~J\'{o}nsson,
Hans-J\"{o}rg Kreowski,
Giancarlo~Mauri,
Ali~Mili, 
Michael~Mislove,
Ugo~Montanari,
\\
Peter D. Mosses,
Istvan~N\'{e}meti,
Don~Pigozzi,
Don~Sannella,
R.K.~Shyamasundar,
John~Staples,
\\
Andrzej~Tarlecki,
Frits~Vaandrager,
Paulo~A.S.~Veloso,
Eric~Wagner,
Bob Walters,
Martin~Wirsing.

\bigskip\noindent{\bf Invited Speakers}

\smallskip\noindent
To achieve the goal of the conference we aim to provide a forum in which
leading researchers in mathematics, computer science, and software development,
will come together to identify algebraic methodologies that are applicable as
viable alternatives to the present software development approaches and to
discuss the appropriateness of such alternatives with a view to implementation.
Invited speakers, with a tentative indication of respective topics, include:

\clearpage
\setcounter{page}{0}

\begin{quote}
\begin{tabular}{lll}
Hubert Comon  & (LRI, Orsay) & : Constraint Solving in Term Algebras
\\
Rob van Glabbeek  & (Stanford University)             & : Process Algebra
\\
Nicolas Halbwachs & (INPG, Grenoble)  & : Reactive Program Synthesis
\\
Mike Johnson & (Macquarie Univ., Sydney) & :
                                       Category Theory for Software Engineering
\\
Giorgio Levi      & (University of Pisa)              & : Logic Programming
\\
Roger D. Maddux   & (Iowa State University)           & : Relation Algebra
\end{tabular}
\end{quote}

\section*{Submissions}

\vspace*{-2mm}
Talks reporting research in algebra and logic, suitable as a foundation for
software technology, as well as software technologies
developed by means of algebraic methodologies, are welcome.
Demonstrations of systems showing the improved effectiveness of software
developed on a mathematical basis (with or without a talk)
will also be considered.
To be more precise the organizers wish contributions on, but not limited to,
algebraic methods for language design and  compiler construction
(e.g. for Algol-like programming languages),
algebraic methodology for software engineering,
algebraic specifications and algorithms to automatically build
programs from such specifications,
extraction of programs from constructive proofs,
categorical, algebraic and logic programming,
deductive databases, query language design,
algebraic specification of concurrent systems,
distributed operating systems, reactive systems,
practical techniques and examples for verification of program
and/or specification properties.
We invite you to submit a two-page abstract (including a few
citations of relevant work) of your talk to
\begin{quote}
AMAST Conference,
University of Twente,
Fac.\ Informatica,
Att. Mrs.\ Y. Rokker,
\\
P.O. Box 217,
NL-7500AE Enschede,
The Netherlands
\ \ \ (phone: + 31 53 893701)
\end{quote}
Four-page abbreviated papers of the talks presented at the conference, together
with the invited talks, will be collected in the participants' edition of the
proceedings, which will be available to the attendees upon their arrival in
Twente.
The authors are expected to bring full versions of their papers at the
conference, for further review and inclusion in the AMAST'93 Proceedings,
to be published by Springer-Verlag, London. 
A special issue of {\em Theoretical Computer Science} will be dedicated to
this conference; participants will be invited to submit their full paper
for possible publication in this journal.

\smallskip\noindent\underline{{\bf Important Due Dates}}
\\
$\bullet$
Two page abstract submission by December 15, 1992.
\\
$\bullet$
Notification of acceptance by March 31, 1993.
\\
$\bullet$
Camera-ready four-page paper
to appear in participants' proceedings by May 1, 1993.
\\
$\bullet$
Full paper for AMAST'93 Proceedings, at the conference.

\smallskip\noindent
Further information can be obtained from:
\begin{center}
\small
\begin{tabular}{l l l}
{\it In Canada\/}: & {\it In Europe\/}: & {\it In U.S.A\/}: \\
V.S. Alagar          & Charles Rattray             & Teodor Rus \\
Concordia University & University of Stirling      & University of Iowa     \\
Dept.\ of Computer Science & Dept.\ of Mathematics &
                                                   Dept.\ of Computer Science \\
1455 De Maisonneuve Blvd.\ West & and Computing Science & Iowa City \\ 
Montreal, Quebec H3G 1M8 & Stirling, Scotland, FK9 4LA &  IA 52242 \\
Canada                   & Great Britain               & USA  \\
phone: + 1 514 8483022  & phone: + 44 786 73171     & phone: + 1 319 3350742 \\
fax :  + 1 514 8482830  & fax :  + 44 786 64551     & fax :  + 1 319 3350627 \\
e-mail: alagar@concour.cs.concordia.ca
& e-mail: cr@cs.stir.ac.uk & e-mail: rus@cs.uiowa.edu \\
\end{tabular}
\end{center}
\end{document}
Newsgroups: comp.specification,comp.specification.z,comp.theory