Update of [AL0103C1] : deadline extension
In view of its joint organization with the French Project `Modeles et Preuves', this AMAST workshop will feature a limited number of selected contributions -- in addition to the invited papers.
As an attempt to allow prospective authors to contribute their most recent work, the submission and selection deadlines are extended as follows:
submission: 5 March 95; notification: 5 April 95; final: 27 May 95