2nd CfP PAPM98

• Subject: 2nd CfP PAPM98
• From: Corrado Priami <priami@biotech.sci.univr.it>
• Date: Fri, 20 Mar 1998 9:44:46 MET

***********************************************************************                  
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://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 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.

• Prev: FMOODS '99: call for papers
• Next: WRLA'98 CALL FOR PAPERS
• Index: AMAST Mail 1998