Accepted Papers
Submission Guidelines
Programme Committee
Call for Papers (text)
local info
University of Stirling
Maps & Guides
AMAST 2002


As in the past, the proceedings of AMAST 2004 will be published by Springer in the Lecture Notes in Computer Science series.

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 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:
Charles Rattray
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 conference.

Special Prizes

There will be a prize for the best paper overall, and for the best student paper. 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.

Key Dates

* 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

[top to top]