Joint PAPM-PROBMIV 2001 Workshop (Process Algebra and Performance Modelling, Probabilistic Methods in Verification) Rheinisch-Westfälische Technische Hochschule (RWTH) Aachen, Germany September 12-14, 2001 Co-located with MMB and PNPM Probability is widely used in the design and analysis of software and hardware systems, 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 study performance and dependability properties. The aim of the PAPM-PROBMIV workshop is to gather researchers working across the whole spectrum of techniques for the modeling, specification, analysis and verification of probabilistic systems. Suggested, but not exclusive, topics of interest for submissions include: * Specification, models and semantics of probabilistic systems (including but not limited to process algebras, Petri nets, probabilistic automata, probabilistic logics, probabilistic extensions of temporal logic and mu-calculus, 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, model-checking, dynamic programming, symbolic methods, compositional and modular techniques). The interplay between functional (non-probabilistic) and probabilistic analysis. * Probabilistic methods for the verification of non-probabilistic systems. * Tools and case studies (computer networks and communication systems, distributed systems, reliability and performance analysis, safety-critical systems, as well as applications of probabilistic modeling, specification, and analysis techniques to domains other than software and hardware systems, such as computational biology, decision making, etc.). The PAPM-PROBMIV 2001 Workshop results from the combination of the two workshops: * PAPM: Process Algebras and Performance Modeling. * PROBMIV: Probabilistic Methods in Verification. PAPM-PROBMIV 2001 is part of a multi-conference and it is held together with * MMB 2001, the 11th GI/ITG Workshop on Measurement, Modelling, and Evaluation of Computer and Communication Systems. * PNPM 2001, the 2001 IEEE Workshop on Petri Nets and Performance Models. Paper Submission 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, including the proceedings of other symposia or workshops. Tool papers should describe a tool that has already been implemented. Some aspects of the tool or of its application areas should be new with respect to other papers describing the same tool, and they should be relevant to the topics of this workshop. The deadline for submission is March 23, 2001. The submissions should be typeset in font size at least 10pt, and it should not exceed twelve (12) pages, including title page and references. Submissions departing significantly from these guidelines risk rejection. Paper submission will be electronic; the accepted formats are Postscript and PDF. Please send the uuencoded or mimencoded files to papm-probmiv2001@ic.eecs.berkeley.edu 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. Proceedings The proceedings of the PAPM-PROBMIV 2001 workshop will be published as a volume of the Lecture Notes in Computer Science (LNCS) series, published by Springer Verlag. Both the regular and tool papers that are accepted will be included in the proceedings. Tool Session There will be a joint session of PAPM-PROBMIV, MMB, and PNPM dedicated to tool presentations. Tool presentations will be about ten minutes long. People interested in presenting and demonstrating a tool can send a description of the tool (up to six pages) to the tool session chair Peter Kemper (kemper@ls4.cs.uni-dortmund.de). Accepted tool descriptions will be distributed to all workshop attendees (but will not be part of the PAPM-PROBMIV proceedings). Invited Speakers There will be three invited speakers at the PAPM-PROBMIV workshop: * Shankar Sastry * Markus Siegle * Frits Vaandrager Moreover, the PAPM-PROBMIV schedule will enable participants to attend the invited talks at the co-located workshops MMB and PNPM. Invited Introductory Lectures The workshop will feature invited introductory lectures and invited speakers. The following lectures are already scheduled: * Joost-Pieter Katoen: Probabilistic verification of Markov chains * Marina Ribaudo: An introduction to stochastic process algebras * Roberto Segala: Nondeterminism in probabilistic verification Important Dates Paper submission: April 7, 2001 Notification to authors: May 14, 2001 Camera ready version: June 10, 2001 Workshop: September 12-14, 2001 Program Committee Luca de Alfaro (chair), UC Berkeley Stephen Gilmore (chair), U. of Edinburgh Gianfranco Ciardo, College of William & Mary Rance Cleaveland, SUNY Stony Brook Roberto Gorrieri, University of Bologna Boudewijn Haverkort, University of Aachen Ulrich Herzog, University of Erlangen Michael Huth, Kansas State University Radha Jagadeesan, Loyola University Joost-Pieter Katoen, University of Twente Leila Kloul, University of Versailles Kim Larsen, University of Aalborg Corrado Priami, University of Verona Marina Ribaudo, University of Turin Roberto Segala, University of Bologna Moshe Vardi, Rice University General Chair Boudewijn Haverkort, University of Aachen Tool Session Chair Peter Kemper, University of Dortmund PAPM Steering Committee Ed Brinksma, University of Twente Roberto Gorrieri, University of Bologna Ulrich Herzog, University of Erlangen Jane Hillston, University of Edinburgh PROBMIV Steering Committee Marta Kwiatkowska (chair), U. of Birmingham Luca de Alfaro, UC Berkeley Rajeev Alur, University of Pennsylvania Christel Baier, University of Mannheim Michael Huth, Kansas State University Joost-Pieter Katoen, University of Twente Prakash Panangaden, McGill University Roberto Segala, University of Bologna For further information, please send email to papm-probmiv2001@ic.eecs.berkeley.edu