|Second Call for Contribution FMPPTA97 Dominique.Mery@loria.fr (Dominique Mery) (1996-11-12)|
|From:||Dominique Mery <Dominique.Mery@loria.fr>|
|Date:||12 Nov 1996 22:01:11 -0500|
|Keywords:||CFP, conference, parallel|
CALL FOR PAPERS
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,
IEEE Technical Computer Society Technical Committee on Parallel
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.
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
Examples of formal notations are UNITY, TLA+, SWARM, Z, VDM, B, POBL,
RAISE, LOTOS, but they must be clearly explained and well used.
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.
Program Chair: Dominique Me'ry (Nancy,France)
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)
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:
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.
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
or surface mail:
Universite' Henri Poincare'-Nancy 1,
Institut Universitaire de France
Batiment LORIA, BP239
F-54506 Vandoeuvre-le`s-Nancy France
Phone: +33 83 59 20 14
Fax: +33 83 41 30 79
Return to the
Search the comp.compilers archives again.