[C1] ================================================ AMAST Links 01 03

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

  The modeling and verification of real-time and concurrent systems are
very important research topics in Computer Science. The increasing
number of industrial applications relying on embedded software where
safety criteria are critical makes it necessary to develop formal
theories for modeling such systems as well as methods, techniques, and
tools to ensure the validity and the correctness of the modeled system.
This is the second AMAST workshop dedicated to this topic; it focusses
on the theme _Models and proofs for concurrent and real-time systems_,
and is joint with the French research project `Modeles et Preuves'.
  9-12 invited lectures and 9 communications selected by the Program
Committee will be presented at this workshop. Each talk will last 40 mn
followed by 15 mn discussions. Proceedings available before workshop.
  *Program Committee:* V. S. Alagar (Concordia U., Montreal), A. Arnold
(LaBRI, Bordeaux), J. Beauquier (LRI, Orsay), D. Begay (LaBRI,
Bordeaux), M. Mislove (Tulane U., New-Orleans), M. Nivat (LITP, Paris),
T. Rus (Iowa U., Iowa City), G. Scollo (U. Twente, Enschede),
J. Sifakis (Verimag, Grenoble).
   *Invited Lectures:* G. Berry (Ecole des Mines de Paris, Sophia), O.
Grumberg (Technion, Haifa), N. Halbwachs (Verimag, Grenoble), E. Cerny
(U. Montreal, Montreal), G. Milne (South-Australia U., Adelaide),
A. Pnueli (Stanford U., Stanford), F. Vaandrager (CWI, Amsterdam),
T. Wilke (Christian-Albrecht U., Kiel).
  *Organizing Committee:* A. Arnold, J. Beauquier, D. Begay, M. Nivat,
T. Rus, G. Scollo.
  *Submissions:* We invite authors to submit papers (10 pages maximum)
on whatever is their topic of interest in this area of research.
Papers should be self-contained, (LaTeX preferred, uuencoded postscript
accepted) and sent by e-mail to: m+p-contribution@labri.u-bordeaux.fr .
  *Dates:* subm: Jan 15 Jan 95; notif: 15 Feb 95; final: 15 Apr 95
  *Registration:* The fee is 3000 FF (US $ 500), including proceedings,
hotel in Bordeaux downtown (4 nights), all meals and conference dinner.
  *Local arrangements and further information:* Contact the organizing
committee: fax +33 56848412, email m+p-registration@labri.u-bordeaux.fr