News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

11 August 2006, First International Workshop on Probabilistic Automata and Logics, Seatlle, USA

Date: Friday 11 August 2006
Location: Seatlle, USA
Deadline: 19 May 2006

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.

For more information, see http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html

The Programme Committee cordially invites all researchers to submit their papers for presentation, both full papers and reports on recent or ongoing work. Submission deadline is May 19, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.