[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 and LaTeX respectively.

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