Logic List Mailing Archive

Workshop on Probabilistic Automata and Logics, Seattle, August 2006

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

   First International Workshop on Probabilistic Automata and Logics
                         Affiliated with LICS 2006
                       August 11, 2006 , Seattle, USA
                      PAuL 06 is a FLoC 2006 workshop
***********************************************************************


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


INVITED SPEAKERS
Javier Esparza (University of Stuttgart, Germany)
Anatol Slissenko (University 12, Paris, France)
Krishnendu Chatterjee (University of California, Berkeley, USA)


SUBMISSIONS
Submissions are encouraged in one of the following two categories:

* Regular papers:
   Submissions in this category should describe previously
   unpublished work. Papers should not exceed 15 pages including
   references and be formatted following the guidelines of ENTCS.
   Authors will be notified of acceptance by June 30, 2006.

* 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.
   Neither the paper nor the abstract will be published in the ENTCS
   proceedings. Authors will be notified of acceptance by June 30, 2006.

Use the PAuL06 submission page, handled by the EasyChair conference
system, to submit papers and to update a previous submission. One author
of each accepted paper will be expected to present it at the workshop.


IMPORTANT DATES
Paper Submission: May 19, 2006
Author Notification: June 30, 2006
Camera-Ready: July 28, 2006
Workshop: Aug 11, 2006
Revised Version: TBA


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.


CONTACT
See the workshop homepage
http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html
for further information. Please send all correspondence regarding the
workshop to the organizers

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