AMAST Mail 1998
[Prev][Next][Index]

PAPM98 - Last Remainder

***********************************************************************

The University of Verona, Facolta` di Scienze MM.FF.NN., promotes


                            Call for Papers

                                PAPM'98
                   Sixth International Workshop on
              PROCESS ALGEBRA AND PERFORMANCE MODELLING
                    in conjunction with CONCUR'98
                          Nice, 12 September
                http://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 their papers by May 15 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.

-------------------------------------------------------------------------
Corrado Priami                                    Tel. +39 (0)45 809 8985
Dipartimento Scientifico Tecnologico              Fax  +39 (0)45 809 8982
Universita' di Verona - Facolta' di Scienze       priami@sci.univr.it
Ca' Vignal 2 - Strada Le Grazie 1
37134 VERONA - Italy			http://arena.sci.univr.it/~priami
-------------------------------------------------------------------------
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]