cr@cs.stir.ac.UK (Chic Rattray) (10/03/90)
Second Call for Papers
Second International Conference on Algebraic
Methodology and Software Technology, AMAST
Goals and Organization:
The goal of the second AMAST conference to be held on May 22-25,
Iowa City, Iowa, USA, 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.
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
Speakers:
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.
The invited speakers are:
Andre Arnold, University of Bordeaux I, France
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:
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.
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,
- 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
AMAST CONFERENCE
Computer Science Department
The University of Iowa
Iowa City, IA 52242, U.S.A.
Four page abbreviated
papers of the talks presented at the conference, together with the invited
talks, will be published in the proceedings that will be available
to the attendees upon their arrival in Iowa City.
A special issue
of "Theoretical Computer Science" will be dedicated to
this conference and each participant will be invited to submit
their full paper for possible publication in this journal.
Important Due Dates:
- Two page abstract submission by January 1, 1991.
- Notification of acceptance by March 1, 1991.
- Camera-ready four page abbreviated paper
to be published in proceedings by April 1, 1991
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:
Giuseppe Scollo: scollo@cs.utwente.nl
Tomasz Muldner: muldner@acadia.BITNET
Charles Rattray: cr%compsci.stirling.ac.uk@nss.cs.ucl.ac.uk
Teodor Rus: rus@herky.cs.uiowa.edu.
Special Interest:
The organizers believe that recent progress towards using algebraic
methodology as an alternative for software technology 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 seems to be 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. Therefore, the organizers of the
second AMAST conference wish to initiate a new series in computing,
with the goal of giving publicity to those software technologies and
their foundations which can be used as models of algebraically based
software development.
The organizers will seek a publisher for this project and invite all
participants to the second edition of the AMAST conference to submit
proposals for the first volume. Your proposal should be supported by a
system which can be demonstrated.
Local Arrangements:
The Cedar-Rapids airport, 20 miles from Iowa City, Iowa,
serves both Cedar-Rapids and Iowa City.
Limousine services between Cedar-Rapids airport
and Iowa City are available.
The conference will be held at the Conference Center of
the University of Iowa. The Center for Conferences and Institutes
will handle hotel reservation and registration.
A hotel-suite will be reserved for holding discussions and for
demonstrating various systems presented at the conference.
A block of rooms in a student dormitory
will be available at about $15 a night. A limited number
of rooms at the
Iowa Memorial Union guest house at $45 a night are also
reserved.
Special entertainment will be organized for the
attendees of the second AMAST conference and their parties.
Amongst others, we mention a cruise on the Mississippi river,
a banquet-dinner, and various other social events organized in Iowa City.
For more information contact:
Lisa J. Barnes
Conference Coordinator
Center for Conferences and Institutes
The University of Iowa, Iowa Memorial Union
Iowa City, Iowa 52242
Phone (319)335-3231