[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PAuL 2008 Call for Papers

                     [Apologies for multiple copies]

                        CALL FOR PAPERS

Third International Workshop on Probabilistic Automata and Logics
                        (PAuL 2008)
                 Affiliated with ICALP 2008
             July, 6th, 2008, Reykjavik, Iceland


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

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

Christel Baier, co-chair (Technische Universitaet Dresden, Germany)
Marcus Groesser, co-chair (Technische Universitaet Dresden, Germany)
Joseph Halpern (Cornell University, USA)
Marek Karpinski (Universitaet Bonn, Germany)
Antonin Kucera (Masaryk University, Czech Republic)
Annabelle McIver (Macquarie University, Sydney, Australia)
Catuscia Palamidessi (LIX, Ecole Polytechnique, France)


Submissions are encouraged in two categories, namely regular papers and
presentation papers.

* A regular paper submission has to be original, previously unpublished work.
It must not be submitted elsewhere and must not exceed 15 pages.

* A presentation paper submission is a report on recent or ongoing work. There
is no restriction as for previous/future publication of the content of a presentation.
A presentation submission should consist of at least 4 and at most 12 pages.

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

For submissions please use the PAuL08 submission page at
http://www.easychair.org/conferences/?conf=paul08 handled by the EasyChair
conference system. All submissions will be refereed at standard.

The revised version of accepted regular papers will be published online in an
Elsevier ENTCS volume devoted to the ICALP 2008 workshops.
The accepted presentation papers will not be published.

Paper Submission: April 21, 2008
Author Notification: June 08, 2008
Final Version: June 22, 2008
Workshop: July 6, 2008

Final ENTCS Version due: July 31, 2008
(only regular papers)

See the workshop homepage
for further information. Please send all correspondence regarding the
workshop to the organizers

Christel Baier:  baier@tcs.inf.tu-dresden.de
Marcus Groesser: groesser@tcs.inf.tu-dresden.de