[Apologies for multiple copies]

***************************************************************************
                            FINAL CALL FOR PAPERS

 Second International Workshop on Probabilistic Automata and Logics (PAuL)
                          Affiliated with LICS 2007
                         July, 9th, Wroclaw, Poland
***************************************************************************


SCOPE
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 COMMITEE
Christel Baier, co-chair (Technische Universitaet Dresden, Germany)
Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina)
Marcus Groesser, co-chair (Technische Universitaet Dresden, Germany)
Joseph Halpern (Cornell University, USA)
Marek Karpinski (Universitaet Bonn, Germany)
Joel Ouaknine (Oxford University, United Kindom)
Michel de Rougemont (Universite Paris II, France)


INVITED SPEAKERS
Antonin Kucera (Masaryk University, Czech Republic)
Catuscia Palamidessi (LIX, Ecole Polytechnique, France)


SUBMISSIONS
Researchers are encouraged to present recent or ongoing work
related to PAuL. 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 of extended abstracts (3 to 12 pages) are to be made
(in pdf-file format) via e-mail to [log in to unmask]

One author of each accepted paper will be expected to present it at
the workshop.


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


PUBLICATION
There will not be formal workshop proceedings.

CONTACT
See the workshop homepage
http://wwwtcs.inf.tu-dresden.de/~groesser/PAuL07/index_paul07.html
for further information. Please send all correspondence regarding the
workshop to the organizers

Christel Baier:  [log in to unmask]
Marcus Groesser: [log in to unmask]