BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1293/11-
 August-2006-First-International-Workshop-on-Probab
 ilistic-Automata-and-Logics-Seatlle-USA
DTSTAMP:20060327T000000
SUMMARY:First International Workshop on Probabilis
 tic Automata and Logics, Seatlle, USA
DTSTART;VALUE=DATE:20060811
DTEND;VALUE=DATE:20060811
LOCATION:Seatlle, USA
DESCRIPTION:There is a recent trend to study proba
 bilistic extensions of traditional concepts of aut
 omata-theory and logics. The applications of such 
 probabilistic formalisms cover the analysis of ran
 domized protocols, biological systems, multi-agent
  systems with uncertainties, security protocols, s
 peech recognition, logic programming, description 
 logics for the semantic web, and many more.   The 
 goal of this workshop is to bring together researc
 hers that are interested in the foundations of pro
 babilistic automata and probabilistic logics and t
 heir applications.   For more information, see htt
 p://web.informatik.uni-bonn.de/I/baier/PAuL/paul_w
 orkshop.html   The Programme Committee cordially i
 nvites all researchers to submit their papers for 
 presentation, both full papers and reports on rece
 nt or ongoing work. Submission deadline is May 19,
  2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>There
  is a recent trend to study probabilistic extensio
 ns of traditional\nconcepts of automata-theory and
  logics. The applications of such\nprobabilistic f
 ormalisms cover the analysis of randomized protoco
 ls,\nbiological systems, multi-agent systems with 
 uncertainties, security\nprotocols, speech recogni
 tion, logic programming, description logics\nfor t
 he semantic web, and many more.</p>\n<p>\nThe goal
  of this workshop is to bring together researchers
  that are\ninterested in the foundations of probab
 ilistic automata and\nprobabilistic logics and the
 ir applications.\n      </p>\n    \n      \n      
 <p>For more information, see\n        <a target="_
 blank" href="http://web.informatik.uni-bonn.de/I/b
 aier/PAuL/paul_workshop.html">http://web.informati
 k.uni-bonn.de/I/baier/PAuL/paul_workshop.html</a>\
 n      </p>\n    </div><div>\n      <p>\n        T
 he Programme Committee cordially invites all resea
 rchers\n        to submit their papers for present
 ation, both full papers and\n        reports on re
 cent or ongoing work.\n        Submission deadline
  is May 19, 2006.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1293/11-
 August-2006-First-International-Workshop-on-Probab
 ilistic-Automata-and-Logics-Seatlle-USA
END:VEVENT
END:VCALENDAR