{"id":3967,"date":"2018-03-09T16:53:57","date_gmt":"2018-03-09T08:53:57","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?page_id=3967"},"modified":"2020-05-20T09:12:50","modified_gmt":"2020-05-20T01:12:50","slug":"programme","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/delta-8\/programme\/","title":{"rendered":"Programme"},"content":{"rendered":"

Home: Delta 8<\/a><\/span>    Abstracts (with Slides) [New!]<\/a><\/span>    Programme<\/a><\/span>    Gallery [NEW!]<\/a><\/span><\/p>\n

The Schedule of Delta 8 Logic Workshop<\/h2>\nDate: March 24th 2018.
\nVenue: \u53e4\u7c4d\u6240\u4f1a\u8bae\u5ba4\uff0c\u884c\u653f\u697c229\u5ba4 (Room 229, Administrative Building, Xixi Campus, Zhejiang University).
\nFormat: 45 mins presentation + 5 mins Q&A.
\nYou can download the schedule at the end of the table.
\n
\n
\n<\/span>\n\n\n\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
8:30-9:00<\/td>Registration<\/td>\n<\/tr>\n
Morning Session (Chair: Yanjing Wang)<\/td><\/td>\n<\/tr>\n
9:00-9:50<\/td>Shaowei Cai<\/td>\n<\/tr>\n
<\/td>\u547d\u9898\u903b\u8f91\u53ef\u6ee1\u8db3\u6027\u95ee\u9898\u53ca\u76f8\u5173\u95ee\u9898\u7684\u6c42\u89e3\u65b9\u6cd5<\/td>\n<\/tr>\n
9:50-10:00<\/td>Coffee Break<\/td>\n<\/tr>\n
10:00-10:50<\/td>Kai Gu<\/td>\n<\/tr>\n
<\/td>Borel Functions and Separability of Metric Spaces<\/td>\n<\/tr>\n
10:50-11:00<\/td>Coffee Break<\/td>\n<\/tr>\n
11:00-11:50<\/td>Guozhen Shen<\/td>\n<\/tr>\n
<\/td>An Overview of Cardinals without the Axiom of Choice<\/td>\n<\/tr>\n
<\/td><\/td>\n<\/tr>\n
11:50-14:00<\/td>Lunch Break<\/td>\n<\/tr>\n
<\/td><\/td>\n<\/tr>\n
Afternoon Session (Chair: Liang Yu)<\/td><\/td>\n<\/tr>\n
14:00-14:50<\/td>Ningning Peng<\/td>\n<\/tr>\n
<\/td>Mixed Nash Equilibria for Continuous Games and Reverse Mathematics<\/td>\n<\/tr>\n
14:50-15:00<\/td>Coffee Break<\/td>\n<\/tr>\n
15:00-15:50<\/td>Jie Fan<\/td>\n<\/tr>\n
<\/td>On Axiomatizations of Contingency Logic<\/td>\n<\/tr>\n
15:50-16:00<\/td>Coffee Break<\/td>\n<\/tr>\n
16:00-16:50<\/td>Liangda Fang<\/td>\n<\/tr>\n
<\/td>Uniform Interpolation in Multi-Agent Modal Logics<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n

Please click the following link to download the schedule:
\nThe Programme of Delta 8 Logic Workshop<\/a><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

Home: Delta 8    Abstracts (with Slides) [New!]    Programme    Gallery [NEW!] Please click the following link to download the schedule: The Programme of Delta 8 Logic Workshop<\/p>\n Continue reading →<\/span><\/a>","protected":false},"author":11,"featured_media":3681,"parent":3683,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-3967","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3967","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=3967"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3967\/revisions"}],"predecessor-version":[{"id":6374,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3967\/revisions\/6374"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3683"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/3681"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=3967"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}