From: purush@guardian.cs.psu.edu (S Purushothaman)
Newsgroups: news.announce.conferences
Subject: Process Algebra Workshop & Dependable Computing Workshop
Date: 9 Apr 92 16:17:40 GMT
Expires: Fri, 15 May 1992 07:00:00 GMT
Distribution: news
Organization: /home/shire/purush/.organization


			CALL FOR PAPERS

      First North American Process Algebra Workshop (NAPAW)
			     and
  Realistically Dependable Parallel Computing Workshop (READPAC)

			August 28-29, 1992
			Stony Brook, NY

NAPAW, to be held in conjunction with CONCUR '92, on Friday, August 28,
will provide a forum for the discussion of process algebras.  Short
abstracts of no more than two (2) pages are sought on topics relating to
the theory, application and extensions of process algebras.  Participants
are encouraged to submit their abstracts by electronic mail (using Unix
commands tarmail or uuencode) if possible.  The accepted formats are
DVI and PostScript.  If electronic submission is not possible, five
(5) copies of the paper should be sent to S.  Purushothaman at
the below address.  The deadline for receipt of abstracts is May 15.
Authors will be notified of acceptance or rejection by June 1.  A
proceedings in the form of a collection of abstracts (or full papers)
will be provided at the workshop and later available as a tech report
from Hopkins/Penn State.

Organizers: S. Purushothaman
	    Dept of Computer Science
	    Penn State University
	    University Park, PA  16802
	    purush@cs.psu.edu

	    Amy Zwarico
	    Dept of Computer Science
	    Johns Hopkins University
	    Baltimore, MD  21218
	    amy@cs.jhu.edu

Program Comittee:
   R. Cleaveland
   R. Gerber
   F. Moller
   S. Purushothaman
   A. Zwarico


READPAC, also held in conjunction with CONCUR, on the afternoon of
Friday, August 28 and all day Saturday, August 29, will provide a
forum for the discussion of techniques that will facilitate the design
of future high-performance systems.  Historically, research on
parallel and distributed - hence concurrent - systems has been divided
into two independent fields: (1) performance modeling and analysis,
including algorithm design and analysis, and (2) formal methods,
including algorithm and system specification and verification
techniques.  With large scale concurrency and parallelism becoming a
technological reality, the designer of such systems is now faced not
only with the problem of being able to specify them correctly with
ease, but must also ensure that such specifications lead to efficient
systems capable of high performance.  Ideally, a design methodology
should allow the designer to specify, implement, verify, and
performance-model a system simultaneously, throughout the development
process.  The goal of this workshop is to foster interaction between
researchers and practitioners from these diverse fields, with an aim
to bridging gaps and leading towards a common modeling and analysis
framework.  It is hoped that this synergy will yield tools and
techniques that will aid the designer to rapidly produce correct as
well as efficient concurrent or parallel programs and systems.

Short abstracts of no more than two (2) pages are sought on topics
relating formal methods and performance analysis.  Three (3) copies of
the paper should be sent to Erol Gelenbe at the below address.  The
deadline for receipt of abstracts is May 15.  Authors will be notified
of acceptance or rejection by June 1.  A proceedings in the form of a
collection of abstracts (or full papers) will be provided at the
workshop and papers presented at the workshop will be considered for
subsequent journal publication. Details of this will be provided at
the workshop.

Organizer:
	Erol Gelenbe
	EHEI
	Universite' Rene' Descartes
	45 rue des Saints-Peres
	75006 Paris

Program Committee:
   Erol Gelenbe (Workshop Chair)
   Zvi Kedem
   Isi Mitrani,
   Richard Muntz
   Krishna Palem
   Scott Smolka
   Satish Tripathi