Process Algebra and Performance Modelling 2000

PAPM 2000

8th International Workshop on Process Algebra and Performance Modelling

Geneva, Switzerland

15th July, 2000

Satellite Workshop of ICALP 2000

PAPM 2000 Program

PAPM 2000 Registration

The aim of the PAPM workshop is to bring together researchers and practitioners interested in the development and application of process algebra to performance modeling and evaluation.

Topics of the workshop include (but are not limited to):

semantic theory of stochastically timed and probabilistic process algebras
(equivalence, preorder, axiomatization, ...);
efficient performance evaluation techniques
(product form solution, distributed simulation, ...);
probabilistic verification techniques
(probabilistic model checking, ...);
relationships with other formalisms for performance modeling and analysis
(stochastic Petri nets, queueing networks, ...);
tools and case studies
(communication protocols, software systems, ...).

How to submit:

Papers of at most 15 pages in A4 format should be submitted electronically by sending two separate e-mails to papm2000_sub@cs.unibo.it. The first e-mail should contain indication of authors, title, abstract, keywords, and contact author address. The second e-mail should contain the paper itself in .ps or .pdf format. For further information, please send an e-mail to papm2000_info@cs.unibo.it.

PAPM 2000 proceedings will be published by Carleton Scientific (joint volume with all the other satellite workshops of ICALP 2000). The publication of a selection of papers as a special issue of a journal is under negotiation.

Important dates:

15th March 2000: paper submission;
14th April 2000: notification of acceptance/rejection;
7th May 2000: camera ready copy.

Invited Speakers:

Boudewijn Haverkort (Univ. of Aachen)
Rance Cleaveland (State Univ. of New York at Stony Brook)

Program Committee:

Marco Bernardo (Univ. of Torino)
Luca de Alfaro (Univ. of California at Berkeley)
Roberto Gorrieri - Chair (Univ. of Bologna)
Peter Harrison (Imperial College)
Holger Hermanns (Univ. of Twente)
Ulrich Herzog (Univ. of Erlangen)
Jane Hillston (Univ. of Edinburgh)
Marta Kwiatkowska (Univ. of Birmingham)
Kim Larsen (Univ. of Aalborg)
Prakash Panangaden (McGill Univ.)
Manuel Silva (Univ. of Zaragoza)
Scott Smolka (State Univ. of New York at Stony Brook)

Organizing Committee:

Alessandro Aldini (Univ. of Bologna)
Marco Bernardo - Chair (Univ. of Torino)
Mario Bravetti (Univ. of Bologna)

Steering Committee:

Ed Brinksma (Univ. of Twente)
Roberto Gorrieri (Univ. of Bologna)
Ulrich Herzog (Univ. of Erlangen)
Jane Hillston (Univ. of Edinburgh)