{"id":1837,"date":"2013-02-13T11:21:37","date_gmt":"2013-02-13T11:21:37","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1837"},"modified":"2013-02-17T14:10:14","modified_gmt":"2013-02-17T14:10:14","slug":"lira-session-kaile-su","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/02\/lira-session-kaile-su\/","title":{"rendered":"LIRa session: Kaile Su"},"content":{"rendered":"<p>On February 21,<strong> <\/strong>we will have a LIRa session with Kaile\u00a0Su.<\/p>\n<p><span style=\"font-size: 16px;\">Everyone is cordially invited!<\/span><\/p>\n<div>\n<p>Speaker:\u00a0<strong>Kaile\u00a0Su<\/strong> (Peking University &amp; &#8216;Future Fellow&#8217; Griffith University)<br \/>\nTitle:\u00a0<strong>Model Checking Epistemic Logic with MCTK<\/strong><br \/>\nDate and Time: Thursday, February 21, 2013,\u00a0<strong>15:30-17:30<\/strong><br \/>\nVenue: Science Park 904, Room\u00a0<strong>D1.115<\/strong><\/p>\n<p>Abstract:<br \/>\nIn this talk, I will present a symbolic epistemic model\u00a0checker MCTK, and demonstrate it by several examples. I will also\u00a0discuss how to exploit MCTK in some scenarios with richer epistemic\u00a0logics including dynamic epistemic logic.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>On February 21, we will have a LIRa session with Kaile\u00a0Su.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\u00a0Kaile\u00a0Su (Peking University &amp; &#8216;Future Fellow&#8217; Griffith University)<br \/>\nTitle:\u00a0Model Checking Epistemic Logic with MCTK<br \/>\nDate and Time: Thursday, February 21, 2013,\u00a015:30-17:30<br \/>\nVenue: Science Park 904, Room\u00a0D1.115<br \/>\nAbstract:<br \/>\nIn this talk, I will present a symbolic epistemic model\u00a0checker MCTK, and demonstrate it by several examples. I will also\u00a0discuss [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,4],"tags":[],"class_list":["post-1837","post","type-post","status-publish","format-standard","hentry","category-all","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1837","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=1837"}],"version-history":[{"count":9,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1837\/revisions"}],"predecessor-version":[{"id":1842,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1837\/revisions\/1842"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1837"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1837"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1837"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}