[CM] ================================================ AMAST Links 02 07

Formal Methods for Parallel Programming: Theory and Applic., FMPPTA'96
        International Workshop, to be held in conjunction with
       10th International Parallel Processing Symposium, IPPS'96
      Sheraton Waikiki Hotel, Honolulu, Hawaii, April 15-19, 1996

   The _Call for Papers_ is available in two
   forms: plain-text (?=txt) and LaTeX (?=tex) respectively at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207CM.?

  WWW : 
    http://www.usc.edu/dept/ceng/prasanna/meetings/ipps/ipps96/ippshome

  *Important Dates*

   Deadline for submissions:             November 15, 1995
   Notification of acceptance/rejection: December   31, 1995
   Deadline for final text:              January  31, 1995
   Workshop:                             April 15, 1996
   IPPS'96 :                             April 15--19, 1996