BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20260123T204255EST-6947PL85rh@132.216.98.100
DTSTAMP:20260124T014255Z
DESCRIPTION:Logical Characterization of Simulation\n\nI will define simulat
 ion for Labelled Markov processes and show that there is a simple modal lo
 gic that charaterizes simulation. This was originally proved by Desharnais
  et al. in 2003 using approximation techniques. Our proof uses descriptive
  set theory instead and less overall machinery. More importantly\, it give
 s new insight into the relation between logic and simulation. I will also 
 present a 'nice' game characterization of simulation and bisimulation. I w
 ill explain what 'nice' means in this context. This is joint work with Bar
 tek Klin and Nathanaël Fijalkow with one important lemma pointed out to us
  by Roman Pol. There will be no category theory in this talk.\n\n\n\n
DTSTART:20170207T200000Z
DTEND:20170207T200000Z
LOCATION:Room 920\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue 
 Sherbrooke Ouest
SUMMARY:Prakash Panangaden\, Â鶹´«Ã½ÍøÕ¾
URL:/mathstat/channels/event/prakash-panangaden-mcgill
 -university-265558
END:VEVENT
END:VCALENDAR