[C1] ================================================ AMAST Links 02 01

2nd AMAST Workshop on Real-Time Systems & Project `Modeles et Preuves'
         Centre Condorcet, Bordeaux, France, June 14-16, 1995

   *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