Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://fmt.cs.utwente.nl/probmiv99/index.html
Email: probmiv99@cs.bham.ac.uk
Organizers: Rajeev Alur (University of Pennsylvania), Christel Baier (University of Mannheim), Luca de Alfaro (University of California at Berkeley), Michael Huth (Kansas State University), Joost-Pieter Katoen (University of Erlangen), Marta Kwiatkowska (University of Birmingham, chair), Roberto Segala (University of Bologna), Prakash Panangaden (Mc Gill University)
Deadline for abstracts: May 17, 1999
Description:
Probability inherently features in software and hardware systems, either as a means to derive efficient solutions (e.g. randomization), or as a result of unreliable or unpredictable behaviour (e.g. fault-tolerant systems, computer networks, etc). Probabilistic verification encompasses a range of theoretical, algorithmic and programming methods that assist in establishing the correctness of probabilistic systems against specifications. Typically this involves calculating the probability bounds for a temporal logic formula being satisfied, based on an appropriate probability space on computations, but also includes properties such as cost analysis and long-run average. Additionally, probabilistic verification can provide guarantees the specifications hold with satisfactory probability in cases when conventional model checking is not feasible.
The idea of this workshop is to bring together researchers that apply probabilistic methods across the whole spectrum of verification. The meeting aims to enable cross-fertilisation of ideas and techniques between areas that are usually not in regular contact through conferences, from semantics, probability theory, performance analysis and computational linear algebra, through randomized algorithms, probabilistic logics, model checking, abstract interpretation, to practical experimental work, tools and applications.
This is the second workshop of this kind. The first meeting, PROBMIV'98, was held in 1998 as a satellite to LICS. In 1999, the workshop takes place as a satellite to CONCUR.
The meeting will be informal and will focus on exchange of information and discussion. It will consist of a number of invited talks, together with accepted papers.
We are seeking papers on the following example (non-exclusive) topics:
Modelling and verification of probabilistic and stochastic systems, including real-time and hybrid systems Formal models and verification techniques for randomized algorithms Semantics of probabilistic and stochastic processes Probabilistic logics Design of verification support tools Tool demonstrations Case studies
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.