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