Submissions


Talks reporting research in algebra and logic, 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, extraction of programs from constructive proofs, categorical, algebraic and logic programming, deductive databases, query language design, algebraic specification of concurrent systems, distributed operating systems, reactive systems, 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, University of Twente, Fac. Informatica, Att. Mrs. Y. Rokker,
P.O. Box 217, NL-7500AE Enschede, The Netherlands (phone: + 31 53 893701)
Four-page abbreviated papers of the talks presented at the conference, together with the invited talks, will be collected in the participants' edition of the proceedings, which will be available to the attendees upon their arrival in Twente. The authors are expected to bring full versions of their papers at the conference, for further review and inclusion in the AMAST'93 Proceedings, to be published by Springer-Verlag, London. A special issue of Theoretical Computer Science will be dedicated to this conference; participants will be invited to submit their full paper for possible publication in this journal.

Important Due Dates
• Two page abstract submission by December 15, 1992.
• Notification of acceptance by March 31, 1993.
• Camera-ready four-page paper to appear in participants' proceedings by May 1, 1993.
• Full paper for AMAST'93 Proceedings, at the conference.

Further information can be obtained from:
In Canada: In Europe: In U.S.A:
V.S. Alagar Charles Rattray Teodor Rus
Concordia University University of Stirling University of Iowa
Dept. of Computer Science Dept. of Mathematics Dept. of Computer Science
1455 De Maisonneuve Blvd. West and Computing Science Iowa City
Montreal, Quebec H3G 1M8 Stirling, Scotland, FK9 4LA IA 52242
Canada Great Britain USA
phone: + 1 514 8483022 phone: + 44 786 73171 phone: + 1 319 3350742
fax : + 1 514 8482830 fax : + 44 786 64551 fax : + 1 319 3350627
e-mail: alagar@concour.cs.concordia.ca e-mail: cr@cs.stir.ac.uk e-mail: rus@cs.uiowa.edu