cr@cs.stir.ac.UK (Chic Rattray) (08/14/90)
CALL FOR PAPERS
Second International Conference on Algebraic
Methodology and Software Technology, AMAST
May 22-24 1991, in Iowa City, Iowa, USA.
Organizing Committee:
General chairman: Prof. Maurice Nivat, University of Paris VII, France
Local chairman: Prof. Arthur Fleck, University of Iowa, Iowa City, IA, USA
Program chairman: Prof. Teodor Rus, University of Iowa, Iowa City, IA, USA
Finance chairman: Prof. Monagur Muralidharan, University of Iowa, Iowa City,
IA, USA
Publicity chairman: Prof. Charles Rattray, University of Stirling, Scotland
Prof. Giuseppe Scollo, University of Twente,The Netherlands
Prof. Tomasz Muldner, Acadia University, Canada
Members:
Roland Backhouse, University of Groningen, The Netherlands
Michel Bidoit, University of Paris-South, France
Robert Constable, Cornell University, Ithaca, NY, USA
Hartmut Ehrig, Technical University of Berlin, West Germany
Marie Claude Gaudel, University of Paris-South, France
Irene Guessarian, University of Paris VI, France
William S. Hatcher, Laval University, Quebec, Canada
Gunter Hotz, University of Saarland, Saarbrucken, West Germany
Neil D. Jones, University of Copenhagen, Copenhagen, Denmark
William A. Kirk, University of Iowa, Iowa City, IA, USA
William F. Lawvere, State University of New York at Buffalo, NY, USA
Eugene Madison, University of Iowa, Iowa City, IA, USA
George Nelson, University of Iowa, Iowa City, IA, USA
Don Pigozzi, Iowa State University, Ames, IA, USA
Vaughan Pratt, Stanford University, California, USA
David Schmidt, Kansas State University, Manhattan, Kansas, USA
Ralph Wachter, Office of Naval Research, Arlington, Virginia, USA
Eric Wagner, IBM Thomas J. Watson Research Center, NY, USA
Invited talks:
Roland Backhouse, University of Groningen, The Netherlands
Michel Bidoit, University of Paris-South, France
Hartmut Ehrig, Technical University of Berlin, West Germany
Marie Claude Gaudel, University of Paris-South, France
Irene Guessarian, University of Paris VI, France
Neil D. Jones, University of Copenhagen, Copenhagen, Denmark
Vaughan Pratt, Stanford University, California, USA
Submissions
The goal of the conference 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 present ad hoc approaches used in software development.
Academia and industry are both beneficiaries of such a formal foundation.
To achieve this goal, 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 common software development approaches and to discuss
the appropriateness of such alternatives with a view to implementation.
Talks reporting research in algebra 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.
We invite you to submit a two page abstract (including a few
citations of relevant work) of your talk to
AMAST CONFERENCE
Computer Science Department
The University of Iowa
Iowa City, IA 52242, U.S.A.
Submissions must be received by January 1, 1991 and
notifications of acceptance will be sent by March 1, 1991.
Authors should include a return postal address and an electronic
mail address, if it is available.
A special issue
of the journal "Theoretical Computer Science" is to be dedicated to
this conference and each participant will be invited to submit
a full paper for publication. Further information can be obtained from:
In Canada: In Europe: In U.S.A:
Prof. Tomasz Muldner Prof. Charles Rattray Prof. Teodor Rus
Acadia University University of Stirling University of Iowa
Jodrey School of Dept. of Computing Science Dept. of Comp. Science
Computer Science Stirling, Scotland, FK9 4LA Iowa City, IA 52242
Wolfville, Nova Scotia Phone: (319)-335-0694
Canada B0P 1X0 Prof. Giuseppe Scollo
University of Twente
Dept. Informatica, P.O.Box 217
NL-7500AE Enschede
The Netherlands
E-mail addresses are:
Scollo: scollo@henut5.BITNET, Muldner: muldner@acadia.BITNET,
Rattray: cr%compsci.stirling.ac.uk@nss.cs.ucl.ac.uk,
Rus: rus@herky.cs.uiowa.edu.
************
Department of Computer Science
The University of Iowa
Iowa City
Iowa 52242
USA
August 10, 1990.
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:
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
practical techniques and examples for verification of program
and/or specification properties.
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.
M. Nivat T. Rus
General Chairman Chairman of Program Committee