CFP FMPPTA2000

• Subject: CFP FMPPTA2000
• From: Dominique Mery <Dominique.Mery@loria.fr>
• Date: Tue, 5 Oct 1999 09:04:51 +0200 (MET DST)
• Reply-to: Dominique.Mery@loria.fr

              [APOLOGIES IF YOU RECEIVE THIS SEVERAL TIMES]
                       

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


                             CALL FOR PAPERS

                  FMPPTA'2000 : <<Modeling and proving>>

                           International Workshop on
       Formal Methods for Parallel Programming:  Theory and Applications
                                May  5, 2000
			       Cancun, Mexico

                      to be held in conjunction with  
   12th International Parallel & Distributed  Processing Symposium IPDPS'200
                               May 1-5, 2000
			     Cancun, Mexico
	      		      Sponsored by
        IEEE Technical Computer Society Technical Committee on Parallel
			        Processing
                in cooperation with TCCA, TCDP & ACM SIGARCH


The   workshop will  occupy one  full day of  the 12th  International
Parallel Processing Symposium  IPSD'2000.  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.   Although  expensive to apply, formal methods can
increase confidence  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'2000 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  IPSPP, authors
are strongly  invited to use real case  studies borrowed from parallel
processing or distributed computing.


Selected papers  will be published  in a volume  of the series  LNCS of
Springer Verlag. The manuscript will be at most 20 pages long.


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



Program co-chairs:

Beverly Sanders,        (Florida, USA)
Dominique M\'ery        (Nancy,France)

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

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


Now:                                  send us a message
Deadline for submissions:             {October  31, 1999}
Notification of acceptance/rejection: {December   15, 1999}
Deadline for final text:              {January    15, 2000}
Workshop:                             {May  5, 2000}
IPSP'2000                             {May 1 - May 5, 2000}


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

 
email: mery@loria.fr
WWW: http://www.loria.fr/~mery/fmppta2000
or surface mail: 
FMPPTA'2000/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 

• Prev: Faculty positions in computing and software
• Next: ECAI 2000 Call for Tutorial Proposals
• Index: AMAST Mail - October 1999