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/2013/newsitem/5057/21-
 May-2013-Stone-Duality-for-Markov-Processes-Prakas
 h-Panangaden
DTSTAMP:20130516T000000
SUMMARY:Stone Duality for Markov Processes, Prakas
 h Panangaden
ATTENDEE;ROLE=Speaker:Prakash Panangaden
DTSTART;TZID=Europe/Amsterdam:20130521T133000
DTEND;TZID=Europe/Amsterdam:20130521T000000
LOCATION:HG00.303 (Huygensgebouw, Heyendaalseweg 1
 35), Nijmegen
DESCRIPTION:We define Aumann algebras, an algebrai
 c analog of probabilistic modal logic. An Aumann a
 lgebra consists of a Boolean algebra with operator
 s modeling probabilistic transitions. We prove a S
 tone-type duality theorem between countable Aumann
  algebras and countably-generated continuous-space
  Markov processes. Our results subsume existing re
 sults on completeness of probabilistic modal logic
 s for Markov processes.  (This is joint work with:
  Dexter Kozen, Kim Larsen and Radu Mardare)  For m
 ore information, see http://www.cs.mcgill.ca/~prak
 ash/ or contact H.H.Hansen at cwi.nl
X-ALT-DESC;FMTTYPE=text/html:\n        <p>We defin
 e Aumann algebras, an algebraic analog of probabil
 istic modal logic. An Aumann algebra consists of a
  Boolean algebra with operators modeling probabili
 stic transitions. We prove a Stone-type duality th
 eorem between countable Aumann algebras and counta
 bly-generated continuous-space Markov processes. O
 ur results subsume existing results on completenes
 s of probabilistic modal logics for Markov process
 es.<br/>\n        (This is joint work with: Dexter
  Kozen, Kim Larsen and Radu Mardare)</p>\n    \n  
       For more information, see <a target="_blank"
  href="http://www.cs.mcgill.ca/~prakash/">http://w
 ww.cs.mcgill.ca/~prakash/</a> or contact <a class=
 "email">H.H.Hansen <span class="at">at</span> cwi.
 nl</a>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5057/21-
 May-2013-Stone-Duality-for-Markov-Processes-Prakas
 h-Panangaden
END:VEVENT
END:VCALENDAR