AMAST Mail 1998
[Prev][Next][Index]
PROBMIV'98: Final CFP
[Please circulate this to anyone interested. Apologies for multiple
copies.]
A postscript version of this call is available from URL
http://www.cs.bham.ac.uk/~mzk/probmiv98.html.
_____________________________________________________________________
***Submission deadline March 15th***
Final Call For Papers
Pre-LICS'98 Workshop on
PROBABILISTIC METHODS IN VERIFICATION
(PROBMIV'98)
June 19-20, 1998
Indianapolis, Indiana, USA
Sponsored by BRIMS, Hewlett-Packard
http://www.cs.bham.ac.uk/~mzk/probmiv98.html, mirrorred at
http://www.cis.ksu.edu/~huth/probmiv98.html
_____________________________________________________________________
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 for which submissions are being sought.
_____________________________________________________________________
INVITED TALKS
Rajeev Alur, University of Pennsylvania.
Model checking of probabilistic real-time systems
Luca de Alfaro, Stanford University, and Tom Henzinger, Berkeley.
Temporal logics for the specification and verification
of performance and reliability
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
Annabelle McIver, Oxford University.
Probabilistic temporal logic and calculation
Prakash Panangaden, McGill University.
Stochastic techniques in concurrency
Roberto Segala, University of Bologna.
Verification of randomized distributed algorithms
Scott Smolka, SUNY Stony Brook, and Rance Cleaveland, North Carolina SU.
Probability in The Concurrency Factory
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?
_____________________________________________________________________
SUBMISSION GUIDELINES
Submissions (extended abstracts of 10-15 pages) are sought. The
following are 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 and fuzzy logics
* Design of verification support tools
* Tool demonstrations
* Case studies
Authors should send their papers preferably electronically to
probmiv98@cs.bham.ac.uk (as platform-independent PostScript files
printable on A4 paper and 8.5" x 11" paper, plus a plain text
containing the submissions's title, abstract, and the main author's
address including e-mail and FAX) by the deadline shown below.
Alternatively, authors may instead send 3 copies of the hardcopy of
their paper to Marta Kwiatkowska, PC Chair, at the address shown below.
Each copy should be complete with the author's address including e-mail
and FAX, and a short abstract.
All submissions will be refereed in the normal manner. We intend to
publish the proceedings of the conference as a volume of Electronic
Notes in Theoretical Computer Science to be available at the
conference.
_____________________________________________________________________
IMPORTANT DATES
15 March 1998 Submissions due
20 April 1998 Notification of acceptance or rejection
20 May 1998 Final versions due
19-20 June 1998 Workshop dates
_____________________________________________________________________
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
_____________________________________________________________________
LOCAL INFORMATION
The workshop will take place on June 19-20 1998, just before LICS
which is on June 21-24. The venue is University Center, Indiana
University, Indianapolis, USA.
_____________________________________________________________________
[
AMAST Mail 1998
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]