[Apologies for multiple copies]
***********************************************************************
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: [EMAIL PROTECTED]
Marcus Groesser: [EMAIL PROTECTED]
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
