From Dominique.Mery@loria.fr Thu Aug 14 00:51:58 1997 Date: Thu, 31 Jul 1997 20:07:42 PDT From: Dominique Mery To: THEORYNT@LISTSERV.NODAK.EDU Subject: CFP FMPPTA'98 [APOLOGIES IF YOU RECEIVE THIS SEVERAL TIMES] [UPDATED VERSION OF THE] ====================================================================== CALL FOR PAPERS FMPPTA'98 International Workshop on Formal Methods for Parallel Programming: Theory and Applications to be held in conjunction with 11th International Parallel Processing Symposium IPPS'98 April 3, 1998, Florida, USA Sponsored by IEEE Technical Computer Society Technical Committee on Parallel Processing in cooperation with ACM SIGARCH The workshop will occupy one full day of the 11th International Parallel Processing Symposium IPPS'98. The workshop will be held as part of IPPS'98. There will not be separate registration for the workshop. ============ TOPICS ============ Formal methods have been widely investigated in academic institutions. More recently they are being applied in industry. Systems and their properties can be described precisely using mathematical notations, offerring a way to achieve higher reliability. 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 objective of the workshop is to gather 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. Since 1998 marks the 10th anniversary of UNITY, we especially encourage UNITY related work including --> Foundations of UNITY: proof theory, temporal logics, \ldots --> Paradigms of concurrency and distribution in UNITY --> Case studies --> Refinement techniques and mapping --> Implementations of UNITY principles: theorem provers, environment, model checking techniques ..... --> UNITY versus others frameworks: TLA, VDM, Z, B, RAISE, Action Systems, DISCO, CCS, PI calcul, OO, ... --> Methods that extend or were motivated by UNITY Topics are not limited to UNITY and papers dealing with the use of other formal methods are welcome. ============ PUBLICATIONS ============ Papers accepted for FMPPTA'97 are currently under review for publication in the journal Parallel Programming Letters as regular papers. Papers of FMPPTA'97 are available at the URL:http://www.loria.fr/~mery/FMPPTA97/. A special issue in a journal is planned for FMPPTA'98 and authors will receive informations during the workshop. Workshop Proceedings will be available at the conference. ======================== PRACTICAL INFORMATION ======================== FMPPTA'98 Program CoChairs: Beverly Sanders, (Florida, USA) Dominique M\'ery (Nancy,France) Program Committee (to be completed): Flemming Andersen (Tele Danmark R&D, Denmark) Mani Chandy (Caltech, USA) Radhia Cousot (CNRS & Ecole Polytechnique, France) Pascal Gribomont, (Li\`ege, Belgium) Dominique M\'ery, (Nancy, France (Co-Chair) ) Lawrence Paulson, (Cambridge , UK) Xu Qiwen, (Macau) Catalin Roman, (St Louis, USA) Beverly Sanders, (Florida, USA (Co-Chair)) Mark Staskauskas (Bell Laboratories, Lucent Technologies, USA) ============ SUBMISSIONS ============ Authors should submit their contributions as postscript files, preferably in LaTeX llncs style, via email to Dominique.Mery@loria.fr or fmppta98@loria.fr by October 15, 1997. 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 November 30, 1997. Camera-ready papers are due December 31, 1997. Proceedings will be available at the Symposium and via WWW. ======================== IMPORTANT DATES ======================== Now: send us a message Deadline for submissions: {October 15, 1997} Notification of acceptance/rejection: {November 30, 1997} Deadline for final text: {December 31, 1997} Workshop: {April 3 , 1998} IPPS'98 : {March 30 - April 3 , 1998} ============ INFORMATION ============ email: fmppta98@loria.fr WWW:http://www.loria.fr/conferences/fmppta98 or surface mail: FMPPTA'98/Dominique M\'ery Universit\'e Henri Poincar\'e-Nancy 1 & IUF, CRIN-CNRS, Batiment 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/ ======================================================================