{"id":3712,"date":"2021-09-09T16:11:05","date_gmt":"2021-09-09T08:11:05","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=3712"},"modified":"2026-04-14T11:47:30","modified_gmt":"2026-04-14T03:47:30","slug":"tsingcha","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/tsingcha\/","title":{"rendered":"Tsing Ch&#8217;a Sessions  \u6e05\u8336\u4f1a"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"3712\" class=\"elementor elementor-3712\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-602064ec elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"602064ec\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-7b977a5\" data-id=\"7b977a5\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e157a16 elementor-widget elementor-widget-text-editor\" data-id=\"e157a16\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><!-- wp:paragraph --><\/p>\n<p>\u00a0<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:columns {\"verticalAlignment\":\"center\"} --><\/p>\n<div class=\"wp-block-columns are-vertically-aligned-center\">\n<p><!-- wp:column {\"verticalAlignment\":\"center\"} --><\/p>\n<div class=\"wp-block-column is-vertically-aligned-center\">\n<p><!-- wp:paragraph {\"fontSize\":\"normal\"} --><\/p>\n<p class=\"has-normal-font-size\">To promote interdisciplinary interaction between different faculty members and students on the campus, a weekly meeting has been organized by our postdoc Jialiang Yan since September 2023, called Tsing Ch&#8217;a Sessions (\u6e05\u8336\u4f1a). Its slogan \u201cknow thyself and let others know you better.\u201d<\/p>\n<\/div>\n<\/div>\n<p><!-- \/wp:spacer --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>\u25a0Current Sessions<\/h3>\n<p><!-- \/wp:heading --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p><strong>2026 Apr 9 14:00-15:30 Wenlong Zheng (\u90d1\u6587\u9f99, Tsinghua University) Nonmonotonicity and Actual Causation: The Theory of Bochman\u2019s Causal Calculus<\/strong><\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">Causality is a fundamental concept in reasoning, yet capturing its exact formal semantics has historically posed a challenge for standard deductive systems. In his 2021 book\u00a0<em>A Logical Theory of Causality<\/em>, Alexander Bochman develops a causal calculus based on rules of the form A\\Rightarrow B\u00a0 (&#8220;A causes B&#8221;), situated within a nonmonotonic reasoning framework. By treating causal rules as default assumptions, we will see how causal reasoning emerges as a special instance of nonmonotonic reasoning developed within the knowledge representation and symbolic branches of artificial intelligence.<\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">In this talk, we will first introduce the basic techniques of Bochman\u2019s causal calculus. Second, we will briefly contrast this rule-based logical framework with the standard structural equation modeling (SEM) approach. Finally, the main focus of the talk will be applying this calculus to formalize actual causation.<\/p>\n<p><strong>2026 Feb 26 14:00-15:30 Haoxuan Yin (\u5c39\u660a\u8431, University of Oxford) Modal Logic as a Type System for Metaprogramming<\/strong><\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">Metaprogramming languages allow programmers to construct, manipulate and run code. In the presence of imperative features, ensuring program safety is challenging, as free variables can be passed around in references. In this talk, I present Layered Modal ML (LMML), a metaprogramming language that supports storing and running open code under a strong type safety guarantee. The type system utilises contextual modal types (Hu &amp; Pientka, ESOP 2024) to track and reason about free variables in code explicitly. A contextual modal type<em> \\Box(\\Gamma\\vdash T)<\/em> reads \u201ca piece of code of type <em>T<\/em> with free variables \\Gamma.\u201d If time permits, I will also talk about using operational game semantics to model program equivalences in LMML, and how this tool can be used to verify faithfulness in metaprogramming-based program optimisations.<\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">This is joint work with Andrzej Murawski and Luke Ong. The full version of the paper can be found at\u00a0https:\/\/arxiv.org\/abs\/2602.03033. The talk will not suppose any prior knowledge of programming language theory, but familiarity with statically typed programming languages such as C++ or Java would be helpful.<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:paragraph --><!-- \/wp:spacer --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>\u25a0Past Sessions<\/h3>\n<p><!-- \/wp:heading --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p>Click <a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4228\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4228\">HERE<\/a> to check the past sessions.<\/p>\n<p>Click <a href=\"https:\/\/tsinghualogic.net\/JRC\/tsing-cha-past-session-from-2025\/\">HERE<\/a> to check the past sessions from 2025.<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:spacer {\"height\":\"22px\"} --><\/p>\n<div class=\"wp-block-spacer\" style=\"height: 22px;\" aria-hidden=\"true\">\u00a0<\/div>\n<p><!-- \/wp:spacer --><\/p>\n<p><!-- wp:image {\"align\":\"center\",\"id\":3790,\"width\":422,\"height\":749,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} --><\/p>\n<figure class=\"wp-block-image aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-3790\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs.png\" alt=\"\" width=\"422\" height=\"749\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs.png 1242w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs-113x200.png 113w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs-768x1365.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs-864x1536.png 864w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/11\/TCSs-1152x2048.png 1152w\" sizes=\"(max-width: 422px) 100vw, 422px\" \/><\/figure>\n<p><!-- \/wp:image --><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>\u00a0 To promote interdisciplinary interaction between diff [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3712"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"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=3712"}],"version-history":[{"count":155,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3712\/revisions"}],"predecessor-version":[{"id":10046,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3712\/revisions\/10046"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=3712"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}