{"id":2696,"date":"2015-03-06T14:23:39","date_gmt":"2015-03-06T13:23:39","guid":{"rendered":"https:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2696"},"modified":"2015-03-10T11:27:51","modified_gmt":"2015-03-10T10:27:51","slug":"logiciclira-session-hans-van-ditmarsch","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2015\/03\/logiciclira-session-hans-van-ditmarsch\/","title":{"rendered":"LogiCIC\/LIRa Session: Hans van Ditmarsch"},"content":{"rendered":"<p>On <strong>Wednesday<\/strong>, March 11, 2015, we will have a joint LogiCIC\/LIRa session with Hans van Ditmarsch.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<p>Speaker: <strong>Hans van Ditmarsch<\/strong><\/p>\n<p>Date and Time: <strong>Wednesday<\/strong>, March 11, 2015, 11:30-13:00<br \/>\nVenue: Science Park 107, Room F1.15<\/p>\n<p>Title:\u00a0<strong>Five Funny Bisimulations<\/strong><\/p>\n<p style=\"text-align: justify;\">Abstract. We present various recent work proposing adjustments to the standard notion of bisimulation in order to have proper structural correspondents with epistemic, or epistemically motivated, modalities: contingency bisimulation, awareness bisimulation, plausibility bisimulation, refinement, and bisimulation for sabotage.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On Wednesday, March 11, 2015, we will have a joint LogiCIC\/LIRa session with Hans van Ditmarsch.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker: Hans van Ditmarsch<br \/>\nDate and Time: Wednesday, March 11, 2015, 11:30-13:00<br \/>\nVenue: Science Park 107, Room F1.15<br \/>\nTitle:\u00a0Five Funny Bisimulations<br \/>\nAbstract. We present various recent work proposing adjustments to the standard notion of bisimulation in order to have proper structural [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2696","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2696","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=2696"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2696\/revisions"}],"predecessor-version":[{"id":2730,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2696\/revisions\/2730"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2696"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2696"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2696"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}