BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
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
SUMMARY:
Probabilistic modal mu-calculus with independent product
STATUS:CONFIRMED
ATTENDEE;CN="Matteo Mio
":
MAILTO:no@spam.com
DESCRIPTION:
The modal μ-calculus (Lμ) is the logic obtained by extending
standard propositional modal logic with least and greatest
fixed points operators. This logic was intensively studied i
n the last 30 years\, as it allows the expression of many in
teresting properties of labeled transition systems. The prob
abilistic modal Âµ-calculus (pLμ) is a generalization of Lμ\
, designed for expressing properties of probabilistic labele
d transition systems. In this talk I will discuss an extensi
on of pLμ\, called probabilistic modal μ-calculus with indep
endent product\, which can express more complex properties o
f practical interest. We provide two semantics for this exte
nded logic: one denotational and one based on a new kind of
games which we call Tree games. The main result is the equiv
alence of the two semantics. I will take the opportuninity\,
in the last part of the talk\, to discuss my current resear
ch in progress.
DTSTART;TZID=Europe/Paris:20121128T140000
DURATION:PT1H
URL;VALUE=URI:http://www.lsv.ens-cachan.fr/Seminaires/?sem=201211281
400
UID:LSVsemLSV.201211281400@lsv.ens-cachan.fr
LOCATION:Salle Condorcet (Bât. d'Alembert)
END:VEVENT
END:VCALENDAR