cr@cs.stir.ac.UK (Chic Rattray) (10/03/90)
\documentstyle [titlepage,12pt]$article \pagestyle$plain \textwidth = 6.75in \textheight = 8.5in \topmargin = -0.3in \topskip = 0in \oddsidemargin = -0.1in \evensidemargin = -0.1in \addtolength$\parskip$0.5ex \begin$document \begin$center $\Large $\bf Second Call for Papers\\ $\large $\bf Second International Conference on Algebraic\\ $\large $\bf Methodology and Software Technology, AMAST\\ \end$center \section*$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. %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 present software development approaches and to discuss %the appropriateness of such alternatives with a view to implementation. \bigskip\noindent$\bf Organizing Committee: \begin$quote \begin$tabbing 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 M\"$uldner, 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 \\ \> G\"$unter Hotz, University of Saarland, Saarbr\"$ucken, 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 \end$tabbing \end$quote \clearpage \section*$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: \begin$quote \begin$tabbing 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 \end$tabbing \end$quote \section*$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 \begin$center AMAST CONFERENCE \\ Computer Science Department\\ The University of Iowa \\ Iowa City, IA 52242, U.S.A. \\ \end$center 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. \clearpage \section*$Important Due Dates \begin$itemize \item Two page abstract submission by January 1, 1991. \item Notification of acceptance by March 1, 1991. \item Camera-ready four page abbreviated paper to be published in proceedings by April 1, 1991 \end$itemize Further information can be obtained from: \begin$center \begin$tabular$l l l In Canada: & In Europe: & In U.S.A: \\ Prof. Tomasz M\"$uldner &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 & \\ \end$tabular \end$center E-mail addresses are: \begin$enumerate \item Giuseppe Scollo: scollo@cs.utwente.nl \item Tomasz M\"$uldner: muldner@acadia.BITNET \item Charles Rattray: cr\%compsci.stirling.ac.uk@nss.cs.ucl.ac.uk \item Teodor Rus: rus@herky.cs.uiowa.edu. \end$enumerate \clearpage \section*$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. %\clearpage \section*$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: \begin$quote 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 \\ \end$quote \end$document