As in the past, the proceedings of AMAST 2004 will be published by
Springer in the
Lecture Notes in Computer Science
We invite prospective authors to submit electronically previously unpublished
papers of high quality. Submissions should not have been published and should
not be under consideration for publication elsewhere. Papers must be no longer
than 15 pages (6 pages for system demonstrations) and should be prepared using
LaTeX and the LNCS style that can be downloaded from
Please send a fully
self-contained PostScript file to firstname.lastname@example.org. If for any reason it is
impossible to submit a paper electronically, authors should send six copies of
their submission to the program chair at the address below. All papers will be
refereed by the programme committee, and will be judged based on their
significance, technical merit, and relevance to the conference.
Papers should be received by January 26, 2004.
Address for non-electronic submissions:
AMAST'2004 Program Chair
Department of Computing Science and Mathematics
University of Stirling
It is expected that a special issue of Theoretical Computer Science
will be produced after AMAST
2004 containing extended versions of selected papers presented at the
There will be a prize for the best paper overall, and for the best
These prizes are sponsored by
BCS-FACS (the British Computing Society
special interest group Formal Aspects of Computing Science).
Each prize winner will receive a year's membership of BCS-FACS
and a year's subscription to the Formal Aspects of Computing journal.
* Paper submissions: January 26, 2004.
* Notification of paper acceptance: March 1, 2004
* Camera ready papers due: April 5, 2004
* AMAST'2004 Conference: July 12-16, 2004