AMAST Mail 1996
[Prev][Next][Index]

Second Call for Contribution FMPPTA97






			   CALL FOR PAPERS
				   
			      FMPPTA'97

		      International Workshop on
  Formal methods for parallel programming:  theory and applications
		    to be held in conjunction with
       11th International Parallel Processing Symposium IPPS'97
			   1-5 April 1997,
			University of Geneva,
			 Geneva, Switzerland
			     Sponsored by
   IEEE Technical Computer Society Technical Committee on Parallel
			      Processing
		   in cooperation with ACM SIGARCH





The  workshop is   held, during  one  full-day  (April  1,  1997),  in
conjunction  with 11th  International  Parallel  Processing  Symposium
IPPS'97.  The workshop will be held as  part of IPPS'97 and there will
not be separate registration for the workshop.



				TOPICS



Formal  methods are widely investigated  in academic institutions and,
more recently, used  in industrial applications. By using mathematical
notations, systems and  their properties are precisely  described, and
therefore  formal methods offer a way  to achieve high level assurance
of system quality.  Formal methods combine methodological aspects in a
formal framework.  Although they appear to be difficult to apply, they
are the only means of ensuring that  an implementation is correct with
respect  to a given  specification.  The development of an algorithmic
solution from a (formal) specification is carried out with the help of
mathematical techniques and tools.   The objectives of the workshop is
to gather together people, both   from academia and industry, who  use
and/or develop formal   methods for parallel programming.    There are
potentially many different approaches to improving the environment for
parallel programming.  The (proof)  tools and their user interface are
fundamental to formalisation of the parallel programming process.

 The workshop  will  have as main  objective to  develop realistic case
studies   borrowed  from parallel  processing  within  several  formal
notations.  Case studies are given below and we will organize sessions
with  respect  to notations  and   case studies.   Notations  and case
studies  are  given as  examples,   but other  realistic  ones may  be
suggested.


Examples of formal notations are UNITY,  TLA+, SWARM, Z, VDM, B, POBL,
RAISE, LOTOS, but they must be clearly explained and well used.

			     Case studies

The ray tracing problem.

The grid problem or the Dirichlet problem. 

The development  of   neural   networks. 

The  distributed  location management in networks of mobile computers.




Papers accepted for   FMMPTA'96  have been  published in  the  journal
Parallel Programming Letters as regulars papers.  A special issue in a
journal  is planned and  authors  will receive informations during the
workshop. Workshop Proceedings will  be available at FMPPTA'97  on the
1. april 1997.





			      FMPPTA'97

Program Chair: Dominique Me'ry   (Nancy,France)


Program Committee:

          Mani Chandy (Caltech, USA)
          Radhia Cousot (CNRS  E'cole Polytechnique, France)
          Pascal Gribomont, (Lie`ge,  Belgium)
          Dominique Me'ry, (Nancy, France  (Chair) )
          Lawrence Paulson, (Cambridge , UK)
          Xu Qiwen, ( Macau)
          Catalin Roman, (St Louis,  USA)



			     SUBMISSIONS
 
Authors have to  submit their contributions  by e-mail  submissions of
postscript files, preferably in LaTeX llncs style to the Program Chair
(FMPPTA97@loria.fr or  Dominique.Mery@loria.fr) by December  15, 1996.
Additional information    will  be   available  through   WWW address:
http://www.loria.fr/conferences/FMPPTA97                            or
ftp://ftp.loria.fr/pub/loria/conferences/FMPPTA97. Please include your
postal  address,  e-mail  address, telephone   and fax  numbers.   All
manuscripts  will be reviewed.   Notification of review decisions will
be mailed  by January 31, 1997.   Camera-ready papers are due February
28, 1997.  Proceedings will be available at the Symposium and via WWW.



			   IMPORTANT DATES

Deadline for submissions:            December 15, 1996
Notification of acceptance/rejection:January   31, 1997
Deadline for final text:             January  31, 1997
Workshop:                            April 1, 1997
IPPS'97 :                            April 1--5, 1997


INFORMATION
 
email:mery@loria.fr
WWW:http://www.loria.fr/conferences/FMPPTA97
or surface mail: 
FMPPTA'97/Dominique Me'ry 
Universite' Henri Poincare'-Nancy 1, 
Institut Universitaire de France
CRIN-CNRS  
Batiment LORIA, BP239 
F-54506 Vandoeuvre-le`s-Nancy France 
Phone: +33 83 59 20 14  
Fax: +33 83 41 30 79
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]