From - Mon Jan 12 23:34:54 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id BAA18372 for ; Tue, 16 Dec 1997 01:52:21 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id BAA28627; Tue, 16 Dec 1997 01:53:12 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A17A1AE0@listserv.nodak.edu>; Tue, 16 Dec 1997 3:49:37 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 532035 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 16 Dec 1997 03:49:34 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9F6FF300@listserv.nodak.edu>; Tue, 16 Dec 1997 3:49:34 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 532025 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 16 Dec 1997 03:49:33 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9EC449B0@listserv.nodak.edu>; Tue, 16 Dec 1997 3:49:33 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id BAA00231 for theory-a@listserv.nodak.edu; Tue, 16 Dec 1997 01:49:30 -0800 (PST) X-Sender: priami@biotech.sci.univr.it Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: Date: Tue, 16 Dec 1997 01:49:30 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Corrado Priami Sender: TheoryNet List From: Corrado Priami Subject: PAPM '98 CfP Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: I apologise if you receive multiple copies of this msg. Corrado Priami *********************************************************************** The University of Verona, Facolta` di Scienze MM.FF.NN., promotes (Preliminary) Call for Papers PAPM'98 Sixth International Workshop on PROCESS ALGEBRA AND PERFORMANCE MODELLING in conjunction with CONCUR'98 Nice, (11)-12 September http://www.arena.sci.univr.it/~priami/papm98 ************************************************************************ The workshop, promoted by the University of Verona, exploits the relationship between qualitative (functional, behavioural) and quantitative (performance, reliability) analysis of systems via process algebras. The amount of details to be considered when designing and developing complex systems makes the above analyses difficult and error-prone. The use of process algebras like CCS, CSP, pi-calculus for qualitative analysis is well-established. Their stochastic extensions (SPA) for quantitative analysis is a growing field as shown by the five previous editions of this workshop. The goal of PAPM is to bring together researchers in the field of process algebra and performance evaluation to find useful and uniform integrated environments for designing and developing complex (distributed) systems. ******** Topics * include, but are not limited to ******** -Process algebra extensions for quantitative analysis (stochastic, probabilistic, temporal); -Other formal models of quantitative analysis and their relations to SPA; -Quantitative analysis of mobile systems; -Case studies; -Tools supporting quantitative analysis based on process algebra. **************** Paper submission. * Authors are invited to submit papers by April 20 to: **************** Corrado Priami PAPM'98 Chairman Tel. +39 (0)45 809 8985 Istituto Policattedra, Universita' di Verona Fax +39 (0)45 809 8982 Ca' Vignal 2, Strada Le Grazie 1, priami@sci.univr.it I-37134 Verona (Italia) Electronic submission of postscript files (A4 format) is strongly encouraged. For hard copy submissions send 6 copies of the paper. Papers must not exceed 15 pages. The cover page must include name, affiliation, postal address, telephone and e_mail of authors. An abstract of the paper is requested as well. ****************** Important dates. * ****************** Submission: 15 May Notification of acceptance: 15 June Camera-Ready version: 10 July ************** Proceedings. * We are currently negotiating the publication with publishers. ************** ******************** Program Committee. * ******************** Gianfranco Balbo (Univ. Torino, I) Ed Brinksma (Univ. Twente, NL) Rob van Glabbeek (Univ. Stanford, USA) Ulrich Herzog (Univ. Erlangen, D) Krisna Kavi (Univ. Alabama in Huntsville, USA) Corrado Priami, chair (Univ. Verona, I) *********************** Organizing Committee. * Ruggero Ferro and Corrado Priami (Univ. Verona, I) *********************** ********************* Steering Committee. * ********************* Ed Brinksma (Univ. Twente, NL) Roberto Gorrieri (Univ. Bologna, I) Ulrich Herzog (Univ. Erlangen, D) Jane Hillston (Univ. Edinburgh, UK) ******************* Invited speakers. * ******************* Jane Hillston (Univ. Edinburgh, UK) Krisna Kavi (Univ. Alabama in Huntsville, USA) The event is partially supported by CNR.