cr@cs.stir.ac.UK (Chic Rattray) (08/14/90)
\documentstyle [titlepage,12pt]$article \textwidth = 6.5in \textheight = 9.5in \topmargin = -0.3in \topskip = 0in \oddsidemargin = -0.1in \evensidemargin = -0.1in \addtolength$\parskip$0.5ex \begin$document \begin$center $\Huge $\bf Call for Papers\\ $\Large $\bf Second International Conference on Algebraic\\ $\Large $\bf Methodology and Software Technology, AMAST\\ \end$center $\large \bigskip\noindent To be held on May 22-24 1991, in Iowa City, Iowa, USA. \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 \begin$tabbing \noindent$\bf Invited \= $\bf 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 \end$tabbing \clearpage \section*$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 \begin$center AMAST CONFERENCE \\ Computer Science Department\\ The University of Iowa \\ Iowa City, IA 52242, U.S.A. \\ \end$center 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: \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: Scollo: scollo@henut5.BITNET, M\"$uldner: muldner@acadia.BITNET, Rattray: cr\%compsci.stirling.ac.uk@nss.cs.ucl.ac.uk, Rus: rus@herky.cs.uiowa.edu. \end$document