{"id":456,"date":"2014-11-11T23:49:37","date_gmt":"2014-11-11T15:49:37","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=456"},"modified":"2015-01-19T00:01:45","modified_gmt":"2015-01-18T16:01:45","slug":"mini-workshop-games-and-proofs","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/mini-workshop-games-and-proofs\/","title":{"rendered":"[mini-workshop] Games and Proofs"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2014 Nov.\u00a010<br \/>\n<strong>Venue:<\/strong>\u00a0Rm 335, XinZhai (\u65b0\u658b) Tsinghua University, Beijing.<\/p><\/blockquote>\n<p>14:30-15:30 <strong>Marmoru Kaneko<\/strong>\u00a0(Waseda University)<br \/>\nGame Theoretic Decidability and Undecidability<\/p>\n<p>15:30-15:50 Break<\/p>\n<p>15:50-16:30 <strong>Junhua Yu<\/strong> (Tsinghua University)<br \/>\nOn non-self-referential realizable fragments<\/p>\n<p>16:30-16:50 Break<\/p>\n<p>16:50-17:30 <strong>Johan van Benthem<\/strong> (University of Amsterdam, Stanford University)<br \/>\nProof patterns about Interaction<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2014 Nov.\u00a010 Venue:\u00a0Rm 335, XinZhai (\u65b0\u658b) Tsinghua [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[44,10,41],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/456"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=456"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/456\/revisions"}],"predecessor-version":[{"id":460,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/456\/revisions\/460"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=456"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=456"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=456"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}