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,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.
P.O. Box 217, NL-7500AE Enschede, The Netherlands (phone: + 31 53 893701)
Important Due Dates
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 |