CFP: Papm-Probmiv 2002, 2nd Joint International Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification Workshop,July 25/26, 2002, Copenhagen, Denmark

["K. Pawlikowski" <krys@cosc.canterbury.ac.nz>]

                          Call for Papers
                          PAPM-ProbMiV 2002

      2nd Joint International Workshop on Process Algebra and
    Performance Modelling, Probabilistic Methods in Verification

                  workshop affiliated to FLOC 2002
                       http://floc02.diku.dk

               July 25/26, 2002, Copenhagen, Denmark

               URL:   http://fmt.cs.utwente.nl/ppmv02/
*********************************************************************

Aim and Scope

The second Joint International PAPM-ProbMiV workshop addresses
researchers facing probabilistic phenomena or developing probabilistic
methods in the design and analysis of software and hardware systems,
be it as a means to derive efficient algorithms (e.g. randomization),
as a model for unreliable or unpredictable behavior (as in the study
of fault-tolerant systems and computer networks), and as a tool to
design and study performance and dependability properties.

The central aim of the workshop is to increase the cross-fertilisation
of ideas and techniques between areas that are usually not in regular
contact through conferences.  Suggested, but not exclusive, topics of
interest for the workshop include:


- Specification, models and semantics of probabilistic systems --
  including but not limited to Petri nets, process algebras,
  probabilistic automata, probabilistic logics, probabilistic program
  semantics, probabilistic extensions of temporal and modal logics,
  automata-based models and specification methods, and specialized
  techniques for the specification of performance and reliability
  properties.

- Analysis and verification techniques for probabilistic systems
  -- such as performance and reliability analysis, numerical
  algorithms, proof techniques, model-checking, dynamic programming,
  symbolic methods, compositional and modular techniques, and the
  interplay between functional (non-probabilistic) and probabilistic
  analysis.

- Probabilistic methods for the verification of non-probabilistic
     systems.

- Tools and case studies.


Submissions

Paper submissions should present original research, described in
sufficient detail to assess the merits and relevance of the
contribution.  The results must be unpublished and not submitted for
publication elsewhere.  Tool papers should describe a tool that has
already been implemented.  The deadline for submission is March 1,
2002.  The submissions should not exceed sixteen (16) pages, formatted
according to the LNCS style.  Submissions departing significantly from
these guidelines risk rejection.  Paper submission will be electronic;
details of the submission procedure will be available via the
PAPM-ProbMiV URL http://fmt.cs.utwente.nl/ppmv02/.  The address,
telephone number, and email address of the corresponding author should
be indicated on the submission.  One author of each accepted paper
will be expected to present it at the workshop. We intend to
publish the workshop proceedings in the LNCS series of
Springer-Verlag. The proceedings of the 1st joint international
PAPM-ProbMiV workshop have appeared as volume 2165 in this series.


Program Comittee

Luca de ALFARO (USA)
Christel BAIER (D)
Gianfranco BALBO (I)
Marco BERNARDO (I)
Pedro R. D'ARGENIO (ARG)
Stephen GILMORE (UK)
Holger HERMANNS (NL, co-chair)
Michael HUTH (UK)
Marta KWIATKOWSKA (UK)
Prakash PANANGADEN (CAN)
William H. SANDERS (USA)
Roberto SEGALA (I, co-chair)
Markus SIEGLE (D)
Manuel SILVA (ES)
Scott SMOLKA (USA)


PAPM Steering Comittee

Ed Brinksma (NL)
Roberto Gorrieri (I)
Ulrich Herzog (D)
Jane Hillston (UK)

ProbMiV Steering Comittee

Rajeev Alur (USA)
Luca de Alfaro (USA,
Christel Baier (D)
Michael Huth (UK)
Joost-Pieter Katoen (NL)
Marta Kwiatkowska (UK, chair)
Prakash Panagaden (CAN)
Roberto Segala (I)


Important Dates

Paper Submission Deadline                March 1, 2002
Notification of Acceptance               April 23, 2002
Camera Ready Version due                 May 23, 2002
Dates of Workshop                        July 25/26, 2002


Further information

Further information can be obtained via the web
sites of FLOC and PAPM-ProbMiV, or via email from the PC co-chairs
(hermanns@cs.utwente.nl, segala@sci.univr.it).
=========================================================================
This message is forwarded to members of the COSC/Management/Maths 
research group on stochastic simulation at the University of 
Canterbury, Christchurch, New zealand,
and anybody else interested in research in this area

-------------------------------------------------------------------------

		Associate Prof. Dr Krzysztof Pawlikowski

	Department of Computer Science,  University of Canterbury
 			Christchurch, New Zealand
		
ph.  +(64) 3 3642 987 ext.7772  email:   krys@cosc.canterbury.ac.nz 
fax. +(64) 3 3642 569      URL:     http://www.cosc.canterbury.ac.nz/~krys

-------------------------------------------------------------------------