{"id":6026,"date":"2023-05-21T13:15:23","date_gmt":"2023-05-21T05:15:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6026"},"modified":"2026-03-16T11:58:11","modified_gmt":"2026-03-16T03:58:11","slug":"mianmenu","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/","title":{"rendered":"JRC for Logic"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"6026\" class=\"elementor elementor-6026\" 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-beadff4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"beadff4\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-wide\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-bf8f3e6\" data-id=\"bf8f3e6\" 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-66d1306 elementor-widget elementor-widget-heading\" data-id=\"66d1306\" data-element_type=\"widget\" data-widget_type=\"heading.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-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h6 class=\"elementor-heading-title elementor-size-default\">NEWS<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-5f73fd8 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5f73fd8\" data-element_type=\"section\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\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-inner-column elementor-element elementor-element-5f7d68b\" data-id=\"5f7d68b\" 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-6a42bfe elementor-arrows-position-outside elementor-pagination-position-outside elementor-widget elementor-widget-image-carousel\" data-id=\"6a42bfe\" data-element_type=\"widget\" data-settings=\"{&quot;slides_to_show&quot;:&quot;1&quot;,&quot;speed&quot;:409,&quot;navigation&quot;:&quot;both&quot;,&quot;autoplay&quot;:&quot;yes&quot;,&quot;pause_on_hover&quot;:&quot;yes&quot;,&quot;pause_on_interaction&quot;:&quot;yes&quot;,&quot;autoplay_speed&quot;:5000,&quot;infinite&quot;:&quot;yes&quot;,&quot;effect&quot;:&quot;slide&quot;}\" data-widget_type=\"image-carousel.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-image-carousel .swiper-container{position:static}.elementor-widget-image-carousel .swiper-container .swiper-slide figure{line-height:inherit}.elementor-widget-image-carousel .swiper-slide{text-align:center}.elementor-image-carousel-wrapper:not(.swiper-container-initialized) .swiper-slide{max-width:calc(100% \/ var(--e-image-carousel-slides-to-show, 3))}<\/style>\t\t<div class=\"elementor-image-carousel-wrapper swiper-container\" dir=\"ltr\">\n\t\t\t<div class=\"elementor-image-carousel swiper-wrapper swiper-image-stretch\">\n\t\t\t\t\t\t\t\t<div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-1-e1767093121544-570x350.png\" alt=\"640\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_175846_711-570x350.jpg\" alt=\"\u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Information and Agency\u300b\u7531\u65af\u5766\u798f\u5927\u5b66CSLI\u51fa\u7248\uff01\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_180126_713-1-e1764671455279-570x350.png\" alt=\"\u5fae\u4fe1\u56fe\u7247_2025-12-01_180126_713\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_180010_617-570x350.jpg\" alt=\"\u5fae\u4fe1\u56fe\u7247_2025-12-01_180010_617\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/20220219-e1724743712328-570x350.jpg\" alt=\"20220219\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-2-570x350.jpeg\" alt=\"640 (2)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/W020251022544748798990-570x350.jpg\" alt=\"W020251022544748798990\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/08\/\u622a\u5c4f2025-08-06-15.51.10-570x350.png\" alt=\"\u622a\u5c4f2025-08-06 15.51.10\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-3-570x350.jpeg\" alt=\"640 (3)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/\u622a\u5c4f2025-05-13-09.35.44-570x350.png\" alt=\"\u622a\u5c4f2025-05-13 09.35.44\" \/><\/figure><\/div>\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"swiper-pagination\"><\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-left\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0a\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-right\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0b\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5bffce7 elementor-widget elementor-widget-text-editor\" data-id=\"5bffce7\" 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<ul><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/si3sDG2pOhjC1B3pO2J5aQ\">\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e00\u9879\u53d1\u660e\u4e13\u5229\u83b7\u5f97\u6388\u6743<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/TYpGiW55irHpPID2bvMAqg\">\u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Information and Agency\u300b\u7531\u65af\u5766\u798f\u5927\u5b66CSLI\u51fa\u7248\uff01<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/DWup0hL5HuOL6Rzy1tjliQ\">\u903b\u8f91\u4e0e\u4eba\u5de5\u667a\u80fd\u5b9e\u9a8c\u5ba4\u7684\u4e00\u9879\u65b0\u6210\u679c\u88abAAAI-26\u7814\u8ba8\u4f1a\u63a5\u6536\u4e3a\u53e3\u5934\u62a5\u544a\u8bba\u6587<\/a><\/li><li><a href=\"https:\/\/www.cssn.cn\/zx\/zx_rdkx\/202511\/t20251110_5930597.shtml\">\u7b2c\u56db\u5c4a\u201c\u903b\u8f91\u4e0e\u54f2\u5b66\u56fd\u9645\u4f1a\u8bae\u201d\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1176\/122237.htm\">\u54f2\u5b66\u7cfb\u6559\u6388\u5218\u594b\u8363\u5f53\u9009\u4e3a\u56fd\u9645\u79d1\u5b66\u54f2\u5b66\u5b66\u9662\u6b63\u5f0f\u9662\u58eb<\/a><\/li><li><a href=\"https:\/\/www.cssn.cn\/zx\/zx_rdkx\/202510\/t20251015_5918896.shtml\">\u201c\u91d1\u5cb3\u9716\u5b66\u672f\u8bb2\u5ea7\u201d\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/fXdyp5cMJkdQh-E0n6gDMw\">\u8377\u5170\u9a7b\u534e\u5927\u4f7f\u9986\u6559\u80b2\u79d1\u5b66\u53c2\u8d5e\u8bbf\u95ee\u6e05\u534e\u5927\u5b66-\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u5b66\u8054\u5408\u7814\u7a76\u4e2d\u5fc3<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1175\/120398.htm\">\u54f2\u5b66\u7cfb\u5218\u594b\u8363\u6559\u6388\u64b0\u5199\u7684\u300a\u65af\u5766\u798f\u54f2\u5b66\u767e\u79d1\u5168\u4e66\u300b\u8bcd\u6761\u6b63\u5f0f\u53d1\u8868<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/qxZU0lYlbBsgqibt0uo57w\">\u7b2c\u4e94\u5c4a\u6e05\u534e\u903b\u8f91\u6691\u671f\u5b66\u6821\u6210\u529f\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/-jfGAQUD7GfQZP3dKY2Uog\">\u201c\u5927\u8bed\u8a00\u6a21\u578b\u7684\u903b\u8f91\u63a8\u7406\u80fd\u529b\u201d\u7814\u7a76\u5f15\u53d1\u5e7f\u6cdb\u5173\u6ce8<\/a><\/li><\/ul>\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<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-588ed29\" data-id=\"588ed29\" 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-bc31867 elementor-widget elementor-widget-heading\" data-id=\"bc31867\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h6 class=\"elementor-heading-title elementor-size-default\">Regular Events<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-39fc83a elementor-tabs-alignment-stretch elementor-tabs-view-horizontal elementor-widget elementor-widget-tabs\" data-id=\"39fc83a\" data-element_type=\"widget\" data-widget_type=\"tabs.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-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{width:25%;-ms-flex-negative:0;flex-shrink:0}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active{border-right-style:none}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{height:999em;width:0;right:0;border-right-style:solid}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{top:0;-webkit-transform:translateY(-100%);-ms-transform:translateY(-100%);transform:translateY(-100%)}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after{top:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title{display:table-cell}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active{border-bottom-style:none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{bottom:0;height:0;width:999em;border-bottom-style:solid}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{right:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after{left:100%}.elementor-widget-tabs .elementor-tab-content,.elementor-widget-tabs .elementor-tab-title,.elementor-widget-tabs .elementor-tab-title:after,.elementor-widget-tabs .elementor-tab-title:before,.elementor-widget-tabs .elementor-tabs-content-wrapper{border:1px #d4d4d4}.elementor-widget-tabs .elementor-tabs{text-align:left}.elementor-widget-tabs .elementor-tabs-wrapper{overflow:hidden}.elementor-widget-tabs .elementor-tab-title{cursor:pointer;outline:var(--focus-outline,none)}.elementor-widget-tabs .elementor-tab-desktop-title{position:relative;padding:20px 25px;font-weight:700;line-height:1;border:solid transparent}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active{border-color:#d4d4d4}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:before{display:block;content:\"\";position:absolute}.elementor-widget-tabs .elementor-tab-mobile-title{padding:10px;cursor:pointer}.elementor-widget-tabs .elementor-tab-content{padding:20px;display:none}@media (max-width:767px){.elementor-tabs .elementor-tab-content,.elementor-tabs .elementor-tab-title{border-style:solid solid none}.elementor-tabs .elementor-tabs-wrapper{display:none}.elementor-tabs .elementor-tabs-content-wrapper{border-bottom-style:solid}.elementor-tabs .elementor-tab-content{padding:10px}}@media (min-width:768px){.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-content-wrapper{-webkit-box-flex:1;-ms-flex-positive:1;flex-grow:1;border-style:solid solid solid none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-content{border-style:none solid solid}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-stretch .elementor-tabs-wrapper{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper{-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center}.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper{-webkit-box-pack:end;-ms-flex-pack:end;justify-content:flex-end}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-horizontal .elementor-tab-title{width:100%}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-vertical .elementor-tab-title{height:100%}.elementor-tabs .elementor-tab-mobile-title{display:none}}<\/style>\t\t<div class=\"elementor-tabs\">\n\t\t\t<div class=\"elementor-tabs-wrapper\" role=\"tablist\" >\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6081\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6082\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6083\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t<div class=\"elementor-tabs-content-wrapper\" role=\"tablist\" aria-orientation=\"vertical\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6081\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6081\" tabindex=\"0\" hidden=\"false\"><p><strong>2026 Mar 19 16:00-17:30 Hugh Woodin (Harvard University) Can AI discover truth which is beyond proof?<\/strong><\/p><p>We examine the question through the lens of modern and future Set Theory. <a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/thulogicsalon\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\" wp-image-6053 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg\" alt=\"\" width=\"305\" height=\"169\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg 900w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-200x111.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-768x427.jpeg 768w\" sizes=\"(max-width: 305px) 100vw, 305px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6082\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6082\" tabindex=\"0\" hidden=\"hidden\"><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><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&#8230;.<a href=\"http:\/\/tsinghualogic.net\/JRC\/tsingcha\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-6054 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg\" alt=\"\" width=\"312\" height=\"173\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg 900w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-200x111.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-768x427.jpeg 768w\" sizes=\"(max-width: 312px) 100vw, 312px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6083\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6083\" tabindex=\"0\" hidden=\"hidden\"><p><strong>2026 Mar 19 14:00-15:30 Wenfei Ouyang (\u6b27\u9633\u6587\u98de, Tsinghua University) \u4f59\u4ee3\u6570\u4e0e\u6a21\u6001\u903b\u8f91<\/strong><\/p><p>\u672c\u671f\u8fdb\u9636\u8bfb\u4e66\u4f1a\u5c06\u4e8e\u00a02026\u5e743\u670819\u65e5\uff08\u5468\u56db\uff0914:00-15:30\u00a0\u5728\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u4e2d\u5fc3\u4e3e\u884c\uff0c\u7531\u6e05\u534e\u5927\u5b66\u6b27\u9633\u6587\u98de\u540c\u5b66\u62a5\u544a Yde Venema \u7f16\u5199\u7684\u8bb2\u4e49\u00a0Coalgebra and Modal Logic: A First Introduction\u00a0\u7684 1.2 \u8282\uff0c\u91cd\u70b9\u4ecb\u7ecd<span class=\"\">\u6a21\u6001\u903b\u8f91<\/span>\u7684 bounded morphism \u5728 coalgebra \u4e2d\u7684\u5b9a\u4e49\u3002<a href=\"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program\/\">More&gt;&gt;<\/a><\/p><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3fef2c4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3fef2c4\" 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-325c181\" data-id=\"325c181\" 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-7907975 elementor-widget elementor-widget-spacer\" data-id=\"7907975\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3f55600 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3f55600\" 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-50 elementor-top-column elementor-element elementor-element-7d8a5da\" data-id=\"7d8a5da\" 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-2983036 e-transform e-transform elementor-widget elementor-widget-text-editor\" data-id=\"2983036\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/people\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-151 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg\" alt=\"\" width=\"432\" height=\"270\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg 1200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-200x125.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-400x250.jpg 400w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><\/p><h6 style=\"text-align: center;\">people<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c263d03 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"c263d03\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/education\/\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-1107\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg\" alt=\"\" width=\"427\" height=\"285\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg 1616w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-200x133.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-400x267.jpg 400w\" sizes=\"(max-width: 427px) 100vw, 427px\" \/><\/a><\/p><p style=\"text-align: center;\"><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em; color: #777777; letter-spacing: 2px; text-transform: uppercase;\">education<\/span><\/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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-ae907b7\" data-id=\"ae907b7\" 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-13b3712 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"13b3712\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:0,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/research-2\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5750 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg\" alt=\"\" width=\"442\" height=\"272\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg 650w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-200x123.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-570x350.jpeg 570w\" sizes=\"(max-width: 442px) 100vw, 442px\" \/><\/a><\/p><h6 style=\"text-align: center;\">Research<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d35639b e-transform elementor-widget elementor-widget-text-editor\" data-id=\"d35639b\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h6 style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5672 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg\" alt=\"\" width=\"432\" height=\"288\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg 786w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-200x133.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-768x512.jpeg 768w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em;\">events<\/span><\/h6>\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>NEWS \u4e0a\u4e00\u9875 \u4e0b\u4e00\u9875 \u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e00\u9879\u53d1\u660e\u4e13\u5229\u83b7\u5f97\u6388\u6743 \u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Informati [&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":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=6026"}],"version-history":[{"count":256,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions"}],"predecessor-version":[{"id":9877,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions\/9877"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}