Wroclaw, Poland, July 9, 2007
PAuL 07 is
affiliated to LICS
There is a recent trend to study
of traditional concepts of automata-theory and logics.
The applications of such probabilistic formalisms cover the analysis of
randomized protocols, biological systems, multi-agent systems with
uncertainties, security protocols, speech recognition, logic
programming, description logics for the semantic web, and many more.
The goal of this workshop is to bring together researchers
that are interested in the foundations of probabilistic automata
and probabilistic logics and their applications.
The topics of interests include
- probabilistic finite or omega-automata as
language-acceptors (composition operators, algorithms, minimization,
efficiency, learning algorithms, etc.)
- probabilistic automata and variants thereof as formal
models for systems with randomization, stochastic assumptions, or
uncertainties, (specification techniques, modelling languages,
equivalences and preorders, composition operators, verification
- logics to reason about probabilistic phenomena such as
randomized behaviors, probabilistic knowledge, uncertainties, etc.
(algorithms and proof systems for satisfiablity, axiomatization, model
checking, expressiveness, etc.)
- stochastic games
- applications of probabilistic automata or logics
Universidad Nacional de Cordoba,
Cornell University, USA
Oxford University, United Kingdom
Michel de Rougemont
Universite Paris II, France
Masaryk University, Czech
"PCTL formulae as a winning objective in stochastic games"
LIX, Ecole Polytechnique, France
"Information-hiding protocols as opaque channels"
Submissions are encouraged in the following category:
Submissions (3 to 12 pages) are to be made via e-mail to Marcus Groesser
(in pdf-file format).
- Presentations :
Presentations are reports on recent or ongoing work. There is no
restriction as for previous/future publication of the result.
Typically, a presentation is based on a paper which recently appeared
(or which is going to appear) in proceedings of another recognized
conference, or which has not yet been submitted. Authors will
notified of acceptance by May 26th, 2007.
One author of each accepted paper will be expected to present it at the
There will not be formal
workshop proceedings, but a print out of the submitted papers
will be distributed at the workshop to registered
Christel Baier, firstname.lastname@example.org
Marcus Groesser, email@example.com
Paper Submission: April
Author Notification: May 26, 2007
Camera-Ready: June 30, 2007
Workshop: July 9, 2007