FLoC 2006 - PAuL

1st International Workshop on Probabilistic Automata and Logics
Seattle, August 11, 2006

Overview

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 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

Invited Talks

Friday, August 11th, 09:05‑10:00
Anatol Slissenko (University 12, Paris, France)
Decidability of verification in predicate logics of probability [pdf]
Friday, August 11th, 14:00‑15:00
Krishnendu Chatterjee (University of California, Berkeley, USA)
Simple Stochastic omega-Regular Games [pdf]
Friday, August 11th, 16:00‑17:00
Javier Esparza (University of Stuttgart, Germany)
Computing rewards for probabilistic pushdown systems [pdf]

Submissions

Submissions were encouraged in two categories:

Regular papers on previously unpublished work.

Presentations are reports on recent or ongoing work.

Publication

The revised version of accepted regular papers will be published online in an Elsevier ENTCS volume devoted to FLoC 2006 satellite workshops.

A hard copy of the submitted regular papers as well as the presentation papers will be distributed at the workshop to registered participants.

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

Important Dates

Camera-Ready: July 16, 2006
Workshop: Aug 11, 2006
Revised Version: TBA

Program Committee

Christel Baier, co-chair
University of Bonn, Germany
Anne Condon
University of British Columbia, Canada
Colin de la Higuera
University Jean Monnet at Saint-Etienne, France
Marcus Groesser, co-chair
University of Bonn, Germany
Joseph Halpern
Cornell University, USA
Anna Ingolfsdottir
Reykjavik University, Iceland
Thomas Lukasiewicz
Vienna University of Technology, Austria
Robert St-Aubin
University of British Columbia, Canada

Contact

Christel Baier, baier@cs.uni-bonn.de
Marcus Groesser, groesser@cs.uni-bonn.de