[APOLOGIES IF YOU RECEIVE THIS SEVERAL TIMES]
                       [UPDATED VERSION OF THE]


=============================================================================

                             Call for Papers

                    FMPPTA'99 : <<Modeling and proving>>

                     Fourth International Workshop on 
 Formal Methods for Parallel Programming:  Theory and Applications

                San Juan, Puerto Rico, USA, April 12, 1999
                    (in conjunction with IPPS/SPDP'99)
                          
                    http://www.loria.fr/~mery/fmppta99

=============================================================================


The   workshop will  occupy one   full day of  the 12th  International
Parallel Processing Symposium  IPPS/SPDP  '99.  The workshop   will be
held as part of IPPS/SPDP'99.  There  will not be separate registration
for the workshop.


			     ============
				TOPICS
			     ============



Formal methods have been widely  investigated in academic institutions
and more   recently have been applied  in  industry.;  They allow
systems and   their   properties  to   be described  precisely   using
mathematical notation.  Algorithmic  solutions are  developed from the
formal specification with  the help   of mathematical techniques   and
tools. Although they may be expensive to apply, formal methods are the
only way to ensure that an implementation is correct with respect to a
specification, and  are thus an important  tool for the development of
reliable systems. The  objective of the workshop  is to gather people,
both from academia and industry, who use and/or develop formal methods
for parallel programming.  FMPPTA'99 will  emphasize two steps related
to formal  methods: the modeling  phase  where  the problem is  stated
formally,  and the proving  phase that demonstrates the correctness of
an implementation. As  this workshop is a  part of  IPPS/SPDP, authors
are strongly  invited to use real case  studies borrowed from parallel
processing or distributed computing.


		       ========================
			PRACTICAL INFORMATION
		       ========================



Program CoChairs:

Beverly Sanders,        (Florida, USA)
Dominique Mery          (Nancy,France)

See http://www.loria.fr/~mery/fmppta99/ for details of submissions and
publications.

		       ========================
			   IMPORTANT DATES
		       ========================


Now:                                  send us a message
Deadline for submissions:             {October    15, 1998}
Notification of acceptance/rejection: {December   15, 1998}
Deadline for final text:              {January    15, 1999}
Workshop:                             {April 12 , 1998}
IPPS'99 :                             {April  12 - April 16 , 1999}


			     ============
			     INFORMATION
			     ============

 
email: mery@loria.fr
WWW:http://www.loria.fr/~mery/fmppta99/
or surface mail: 
FMPPTA'99/Dominique M\'ery 
Universit\'e Henri Poincar\'e-Nancy 1 & IUF, 
LORIA,
BP239 
F-54506 Vand\oe uvre-l\`es-Nancy France 
Phone: +33 3 83 59 20 14  
Fax: +33 3 83 41 30 79 
WWW:http://www.loria.fr/~mery/

======================================================================