{"id":10,"date":"2014-12-16T21:25:01","date_gmt":"2014-12-16T13:25:01","guid":{"rendered":"http:\/\/www.xixilogic.org\/?page_id=10"},"modified":"2017-04-10T08:59:26","modified_gmt":"2017-04-10T00:59:26","slug":"invited-talks","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/invited-talks\/","title":{"rendered":"Invited Talks"},"content":{"rendered":"<div class=\"atw-show-posts-schema\" itemtype=\"https:\/\/schema.org\/Blog\" itemscope > <!-- begin Blog -->\n<div style=\"clear:both;\"><\/div><div class=\"atw-show-posts atw-show-posts-filter-invited-talks\"><ul>\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/11\/yang-liucambridge-university-logic-in-artificial-intelligence-decision-theory1-14\/\" title=\"Permalink to Yang Liu(Cambridge University): Logic in Artificial Intelligence: Decision Theory(1-14)\" rel=\"bookmark\">Yang Liu(Cambridge University): Logic in Artificial Intelligence: Decision Theory(1-14)<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/11\/minghui-ma-advances-in-normal-tense-logic\/\" title=\"Permalink to Minghui Ma: Advances in Normal Tense Logic\" rel=\"bookmark\">Minghui Ma: Advances in Normal Tense Logic<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/11\/xiaojun-zhang-the-overview-of-propositional-dynamic-logic\/\" title=\"Permalink to Xiaojun Zhang: The overview of propositional dynamic logic\" rel=\"bookmark\">Xiaojun Zhang: The overview of propositional dynamic logic<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/06\/anuj-dawar-the-limits-of-symmetric-computation\/\" title=\"Permalink to Anuj Dawar: The Limits of Symmetric Computation\" rel=\"bookmark\">Anuj Dawar: The Limits of Symmetric Computation<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/06\/maurice-chiodo-ethical-issues-in-mathematical-processes\/\" title=\"Permalink to Maurice Chiodo: Ethical issues in mathematical processes\" rel=\"bookmark\">Maurice Chiodo: Ethical issues in mathematical processes<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/01\/jinsheng-chen\/\" title=\"Permalink to Jinsheng Chen:  Sequent Calculi for Global Modal Consequence Relations\" rel=\"bookmark\">Jinsheng Chen:  Sequent Calculi for Global Modal Consequence Relations<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2020\/11\/xiaoli-liu\/\" title=\"Permalink to Xiaoli Liu: Can Intelligent Machines Have Emotions and Morals from Human Cognition?\" rel=\"bookmark\">Xiaoli Liu: Can Intelligent Machines Have Emotions and Morals from Human Cognition?<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2020\/07\/bruno-bentzen\/\" title=\"Permalink to Bruno Bentzen: Perspectives on the Foundations of Type Theory\" rel=\"bookmark\">Bruno Bentzen: Perspectives on the Foundations of Type Theory<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/11\/davide-liga-argument-scheme-detection-and-tree-kernels\/\" title=\"Permalink to Davide Liga: Argument Scheme Detection and Tree Kernels\" rel=\"bookmark\">Davide Liga: Argument Scheme Detection and Tree Kernels<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/09\/dastani\/\" title=\"Permalink to M.M. (Mehdi) Dastani: Emotions and their logic\" rel=\"bookmark\">M.M. (Mehdi) Dastani: Emotions and their logic<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/05\/ramanujam-indian-logic\/\" title=\"Permalink to Ramanujam: The monkey on the tree and other dilemmas\" rel=\"bookmark\">Ramanujam: The monkey on the tree and other dilemmas<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/05\/hiroyuki-kido\/\" title=\"Permalink to Hiroyuki Kido: Argumentation Mining from Acceptability of Arguments\" rel=\"bookmark\">Hiroyuki Kido: Argumentation Mining from Acceptability of Arguments<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/05\/r-ramanujam-course\/\" title=\"Permalink to Ramanujam: Logic and Games\" rel=\"bookmark\">Ramanujam: Logic and Games<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/04\/zachary-mckenzie\/\" title=\"Permalink to Zachiri McKenzie: Comparing foundational theories of mathematics and understanding subsystems of ZFC\" rel=\"bookmark\">Zachiri McKenzie: Comparing foundational theories of mathematics and understanding subsystems of ZFC<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/04\/piotr-kulicki\/\" title=\"Permalink to Piotr Kulicki: Towards Deontic Logic for Autonomous Cars\" rel=\"bookmark\">Piotr Kulicki: Towards Deontic Logic for Autonomous Cars<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/04\/fengkui-ju\/\" title=\"Permalink to Fengkui Ju: CTL with Dynamic Contexts\" rel=\"bookmark\">Fengkui Ju: CTL with Dynamic Contexts<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/03\/julien-dutant\/\" title=\"Permalink to Julien Dutant: Epistemic Logics for Derived Knowledge and Belief\" rel=\"bookmark\">Julien Dutant: Epistemic Logics for Derived Knowledge and Belief<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2018\/11\/quanlong-wang\/\" title=\"Permalink to Quanlong Wang: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System\" rel=\"bookmark\">Quanlong Wang: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2018\/11\/van-ditmarsch\/\" title=\"Permalink to Hans van Ditmarsch: Asynchronous announcements\" rel=\"bookmark\">Hans van Ditmarsch: Asynchronous announcements<\/a><\/li>\n\t\t\t\t\t\t<li><a href=\"https:\/\/www.zlaire.net\/events\/previous\/2018\/10\/chongli-zou\/\" title=\"Permalink to Chongli Zou: The Study of Combinatory Categorial Grammar\" rel=\"bookmark\">Chongli Zou: The Study of Combinatory Categorial Grammar<\/a><\/li>\n\t\t\t<\/ul>\n<div style=\"clear:both;\"><\/div>\t\t<div id=\"atw-show-posts-navigation\" class=\"atw-post-nav\">\n\t\t\t<span aria-current=\"page\" class=\"page-numbers current\">1<\/span>\n<a class=\"page-numbers\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/page\/2\/\">2<\/a>\n<a class=\"page-numbers\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/page\/3\/\">3<\/a>\n<a class=\"page-numbers\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/page\/4\/\">4<\/a>\n<a class=\"next page-numbers\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/page\/2\/\">Next &raquo;<\/a>\t\t<\/div>\n\t\t<\/div><!-- show_posts -->\n<\/div> <!-- end Blog -->\n","protected":false},"excerpt":{"rendered":" <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2018\/10\/chongli-zou\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a>","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":1,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":477,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/10\/revisions\/477"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}