AMAST Mail 1998
[Prev][Next][Index]
PROBMIV'98: Call for Participation
[Please circulate this to anyone interested. Apologies for multiple
copies.]
_____________________________________________________________________
Call For Participation
Pre-LICS'98 Workshop on
PROBABILISTIC METHODS IN VERIFICATION
(PROBMIV'98)
June 19-20, 1998
Indianapolis, Indiana, USA
Sponsored by BRIMS, Hewlett-Packard
For up-to-date programme information see URLs:
http://www.cs.bham.ac.uk/~mzk/probmiv98.html, mirrored at
http://www.cis.ksu.edu/~huth/probmiv98.html
and for ALL registration the LICS98 URL:
http://lics98.cs.indiana.edu/
_____________________________________________________________________
WORKSHOP DESCRIPTION AND AIMS
=============================
SCIENTIFIC JUSTIFICATION: While there has been a steady current of
research activity in probabilistic logics and systems for some years,
little experimental work has been done up until now. This situation is
beginning to change. Randomization has proved effective in deriving
efficient distributed algorithms and is now widely used in practical
applications, to mention computer networks and graphics. However,
randomized algorithms are notoriously difficult to verify: the proofs
of their correctness are complex, and therefore argued informally, and
thus appropriate formal methods and tools are called for. These have
to combine a variety of dissimilar techniques, from conventional proof
theory and model checking, through systems modelling to linear algebra
and probability theory.
The importance of probabilistic verification lies in the fact that it
can provide guarantees that the specifications hold with satisfactory
probability in cases when conventional model checking fails, for
example when exhaustive search is not feasible due to the size of the
system, or when checking `soft deadlines' in real-time systems. It can
also be useful in average-case analysis of software and as an
abstraction technique.
The central idea for this workshop is to gather researchers working
across the whole spectrum of the research activity in probabilistic
verification, from semantics and (computational) linear algebra,
through randomized algorithms, probabilistic and fuzzy logics,
abstract interpretation, to practical experimental work, tools and
applications. The workshop's aim is to enable cross-fertilisation of
ideas and techniques between areas that are usually not in regular
contact through conferences, while at the same time involving research
topics of major concern to the LICS community.
FORMAT AND AGENDA: The workshop will be informal and will focus on
exchange of information and discussion. It will consist of a number of
invited talks on a range of key topics, evenly balanced between
theory and applied research, together with a panel session and a
number of accepted papers.
PROCEEDINGS: Preliminary proceedings will be available at the workshop.
An ENTCS volume will be published after the workshop. Submissions
by the deadline of 30th August are open to all participants.
_____________________________________________________________________
INVITED TALKS
=============
Rajeev Alur, University of Pennsylvania.
Model checking of probabilistic real-time systems
Luca de Alfaro, Tom Henzinger and Orna Kupferman, University of
California at Berkeley.
Probabilistic issues in the reachability analysis of open systems
Christel Baier, Universitat Mannheim, and Vicky Hartonas-Garmhausen, CMU.
Probabilistic Verus: semantic foundations and practical results
Jeremy Gunawardena, BRIMS, Hewlett-Packard.
Timing analysis, dynamical systems and exotic linear algebra
Marek Karpinski, University of Bonn.
Randomized OBDDs and the model checking
Annabelle McIver, Oxford University.
Reasoning about efficiency within a probabilistic mu-calculus
Prakash Panangaden, McGill University.
Stochastic techniques in concurrency
Roberto Segala, University of Bologna.
Verification of randomized distributed algorithms
K Narayan Kumar, Scott Smolka, SUNY Stony Brook, and Rance Cleaveland,
North Carolina SU.
Infinite Probabilistic and Nonprobabilistic Testing
Moshe Vardi, Rice University.
An Automata-Theoretic Approach to Probabilistic Verification
PANEL SESSION
=============
Ed Clarke, CMU, Panel Chair
What tools and theory are needed in order to make probabilistic
verification practical?
ACCEPTED PAPERS
===============
Christel Baier, University of Mannheim, Marta Kwiatkowska and
Gethin Norman, University of Birmingham.
Computing Probability Lower and Upper Bounds for LTL Formulae
over Sequential and Concurrent Markov Chains
Pedro D'Argenio, Holger Hermanns and Joost-Pieter Katoen,
University of Erlangen-Nuernberg.
On Asynchronous Generative Parallel Composition
Carlos Gregorio-Rodriguez and Manuel Nunez, Universidad Complutense
de Madrid.
Denotational Semantics for Probabilistic Refusal Testing
Klaus Keimel, Technical University of Darmstadt.
Semantic Foundation of the Probabilistic Power Domain
Christoph Meinel and Harald Sack, Universitaet Trier.
Parity-OBDDs - a BDD Structure for Probabilistic Verification
Anna Philippou, University of Pennsylvania, Oleg Sokolsky, CCCC,
Insup Lee, University of Pennsylvania, Rance Cleaveland, North Carolina,
and Scott Smolka, SUNY at Stony Brook.
Specifying Failures and Recoveries in PACSR
SHORT PRESENTATIONS
===================
Jerry den Hartog and Erik de Vink, Vrije Universiteit Amsterdam.
Mixing Up Nondeterminism and Probability: a preliminary report
Ali Movaghar, Sharif University of Technology.
On modeling and analysis of concurrency
_____________________________________________________________________
IMPORTANT DATES
===============
8 May 1998 Early registration deadline (LICS)
15 May 1998 Early registration deadline (PROBMIV)
20 May 1998 Papers for preliminary proceedings due
19-20 June 1998 Workshop dates
30 August 1998 Final versions due for the ENTCS volume (submission
open to all participants)
_____________________________________________________________________
REGISTRATION AND LOCAL INFORMATION
==================================
The workshop will take place on June 19-20 1998, just before LICS98
which is on June 21-24.
The venue for both PROBMIV98 and LICS98 is University Center,
Indiana University, Indianapolis, USA.
ALL registration is handled through the LICS98 office, see URL
http://lics98.cs.indiana.edu/
Please note that the number of hotel rooms for workshop nights is
limited and early booking is advisable.
Early registration for LICS ends 8th May, and for pre-LICS workshops
15th May.
_____________________________________________________________________
ORGANISING COMMITTEE AND PROGRAM CHAIRS
=======================================
Marta Kwiatkowska (Chair) Michael Huth (Co-chair)
School of Computer Science Dept of Computing and
University of Birmingham Information Sciences
Edgbaston, B15 2TT, UK Kansas State University
+44 (121) 414-7264 (voice) Manhattan, Kansas 66506, USA
+44 (121) 414-4281 (fax) +1 (785) 532-6350 (voice)
mzk@cs.bham.ac.uk +1 (785) 532-7353 (fax)
huth@cis.ksu.edu
Christel Baier Mark Ryan
Dept of Mathematics and School of Computer Science
Computer Science University of Birmingham
University of Mannheim Edgbaston, B15 2TT, UK
Seminargebaude A5 +44 (121) 414-7361 (voice)
D-68131 Mannheim, Germany +44 (121) 414-4281 (fax)
+49 (621) 292-5094 (voice) mdr@cs.bham.ac.uk
+49 (621) 292-5364 (fax)
baier@pi1.informatik.uni-mannheim.de
_____________________________________________________________________
[
AMAST Mail 1998
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]