Wroclaw, Poland, July 9, 2007

PAuL 07 is affiliated to LICS 2007.


There is a recent trend to study probabilistic extensions 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 algorithms, etc.)
  • 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

Program Committee

Christel Baier, co-chair
Technische Universität Dresden, Germany
Pedro D'Argenio
Universidad Nacional de Cordoba, Argentina
Marcus Groesser, co-chair
Technische Universität Dresden, Germany
Joseph Halpern
Cornell University, USA
Marek Karpinski
Universität Bonn, Deutschland
Joel Ouaknine
Oxford University, United Kingdom
Michel de Rougemont
Universite Paris II, France

Invited Speakers

Antonin Kucera
Masaryk University, Czech Republic
Title: "PCTL formulae as a winning objective in stochastic games"

Catuscia Palamidessi
LIX, Ecole Polytechnique, France
Title: "Information-hiding protocols as opaque channels"


Submissions are encouraged in the following category:

  • 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 be notified of acceptance by May 26th, 2007.
Submissions (3 to 12 pages) are to be made via e-mail to Marcus Groesser (in pdf-file format).
One author of each accepted paper will be expected to present it at the workshop.


There will not be formal workshop proceedings, but a print out of the submitted papers will be distributed at the workshop to registered participants.


Christel Baier,
Marcus Groesser,

Important Dates

Paper Submission: April 22, 2007
Author Notification: May 26, 2007
Camera-Ready: June 30, 2007
Workshop: July 9, 2007