{"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-10-20T12:12:16","modified_gmt":"2026-10-20T04:12:16","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\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-beadff4 elementor-section-content-top elementor-section-stretched elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"beadff4\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-wider\">\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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h6 class=\"elementor-heading-title elementor-size-default\">NEWS<\/h6>\t\t\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\" data-e-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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-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\t\t\t\t<div class=\"elementor-image-carousel-wrapper swiper\" role=\"region\" aria-roledescription=\"carousel\" aria-label=\"\u56fe\u50cf\u8f6e\u64ad\" dir=\"ltr\">\n\t\t\t<div class=\"elementor-image-carousel swiper-wrapper swiper-image-stretch\" aria-live=\"off\">\n\t\t\t\t\t\t\t\t<div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"1 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/DC4D2EFD2F2B07E3AEE68BD06A4_03A82850_BFDF6-570x350.jpg\" alt=\"DC4D2EFD2F2B07E3AEE68BD06A4_03A82850_BFDF6\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"2 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/64f0f21d14bb95a099094d0586be8ec8-570x350.png\" alt=\"64f0f21d14bb95a099094d0586be8ec8\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"3 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-4-570x350.jpeg\" alt=\"640 (4)\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"4 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-4-570x350.webp\" alt=\"640 (4)\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"5 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-5-570x350.webp\" alt=\"640 (5)\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"6 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-3-570x350.webp\" alt=\"640 (3)\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"7 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-01-17.40.49-570x350.png\" alt=\"\u622a\u5c4f2026-06-01 17.40.49\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"8 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-2-570x350.webp\" alt=\"640 (2)\" \/><\/figure><\/div><div class=\"swiper-slide\" role=\"group\" aria-roledescription=\"slide\" aria-label=\"9 \/ 9\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-1-570x350.webp\" alt=\"640 (1)\" \/><\/figure><\/div>\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\" role=\"button\" tabindex=\"0\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-left\"><\/i>\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\" role=\"button\" tabindex=\"0\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-right\"><\/i>\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<div class=\"swiper-pagination\"><\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\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-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<ul><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1175\/127380.htm\">\u7b2c\u516d\u5c4a\u6e05\u534e\u903b\u8f91\u6691\u671f\u5b66\u6821\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/A95Bwu8eH9lPTIKdasz88Q\">\u6e05\u534e\u5927\u5b66\u903b\u8f91\u4e2d\u5fc3\u5218\u594b\u8363\u6559\u6388\u7684\u79d1\u666e\u65b0\u4f5c\u51fa\u7248<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1175\/126672.htm\">2026\u5168\u56fd\u6570\u7406\u903b\u8f91\u5e74\u4f1a\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/WvvY3cfMDb-2nmwKHnEIRQ\">\u9762\u5411\u903b\u8f91\u4e00\u81f4\u6027\u7684 LLM \u8bc4\u6d4b\u65b0\u6846\u67b6\uff1aLogiConBench \u5728 ICLR \u5c55\u793a<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/i8U7MURisdFyHqtbAYCPGg\">\u8ba9AI\u5f00\u59cb\u201c\u5f00\u4f1a\u4e89\u8bba\u201d\uff1aMAD-Logic\u5e26\u6765\u903b\u8f91\u63a8\u7406\u65b0\u7a81\u7834<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/Jghya7fGzXZIp7p9jCbUgA\">\u7b2c\u5341\u56db\u5c4aICLR\u4eba\u5de5\u667a\u80fd\u4f1a\u8bae\u201c\u5927\u6a21\u578b\u7684\u903b\u8f91\u63a8\u7406\u201d\u7814\u8ba8\u4f1a\u5728\u91cc\u7ea6\u70ed\u5185\u5362\u6210\u529f\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1182\/125347.htm\">\u7b2c\u4e94\u5c4a\u6e05\u534e\u5927\u5b66\u201c\u903b\u8f91\u3001\u8bed\u8a00\u4e0e\u610f\u4e49\u201d\u4ea4\u53c9\u5b66\u79d1\u56fd\u9645\u7814\u8ba8\u4f1a\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/WtS9q1nUxYpUWa_wYr0sIw\">\u4e2d\u56fd\u4eba\u5de5\u667a\u80fd\u5b66\u4f1a\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u4e13\u59d4\u4f1a\u4e3b\u4efb\u9648\u4eea\u9999\u6559\u6388\u5e94\u9080\u8bbf\u95ee\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u5e76\u62a5\u544a<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/4ajI21AUyJzKxORXKI4fVA\">\u7b2c\u56db\u5341\u5c4aAAAI\u4eba\u5de5\u667a\u80fd\u4f1a\u8bae\u201c\u8bed\u8a00\u6a21\u578b\u4e2d\u7684\u903b\u8f91\u4e0e\u7b26\u53f7\u63a8\u7406\u201d\u8054\u5408\u4f1a\u8bae\u5728\u65b0\u52a0\u5761\u6210\u529f\u4e3e\u529e<\/a><\/li><li style=\"list-style-type: none;\">\u00a0<\/li><\/ul>\t\t\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<\/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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h6 class=\"elementor-heading-title elementor-size-default\">Regular Events<\/h6>\t\t\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-e-type=\"widget\" data-widget_type=\"tabs.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\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 Oct 20 19:00-20:30 Malvin Gattinger (University of Amsterdam) Why does test-free PDL not have interpolation?<\/strong><\/p><section>It was shown recently by Borzechowski et al. that Propositional Dynamic Logic (PDL) has Craig Interpolation. Whether test-free PDL without the &#8216;?&#8217; operator has interpolation remained open.<\/section><section>In this talk on ongoing work I will show that the answer is negative, with a counterexample: there is a test-free PDL validity for which no test-free interpolant exists. The validity only uses one atomic program and the Kleene star, so the result also applies to other modal logics with transitive closure operators such as common knowledge.<\/section><section>This result was originally obtained using LLMs and Lean and I will describe the method in the talk as well.<\/section><p data-tool=\"mdnice\u7f16\u8f91\u5668\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/thulogicsalon\/\">More&gt;&gt;<\/a><\/p><p><img fetchpriority=\"high\" decoding=\"async\" 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 Oct 15 14:00-15:30 Zhuoye Zhao (\u6e05\u534e\u5927\u5b66) Not just about time: a cross-domain hypothesis of Mandarin\u00a0le<\/strong><\/p><p>This talk advocates for a cross-domain approach to temporal semantics. I will focus on the semantics of the verbal-suffix le, a central puzzle in the study of the temporal system of Mandarin. It is argued that instead of a dedicated temporal morpheme, le should be construed as a cross-domain functional particle underspecified for the associated semantic domain. The key motivation for this characterization comes from the parallel uses of le in run-of-the-mill VPs (1) and comparatives (2) that are subject to similar licensing requirements. Le is responsible for the past interpretation in (1), which is absent in (2)&#8230;<\/p><p><a href=\"http:\/\/tsinghualogic.net\/JRC\/tsingcha\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" 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 May 7 14:00-15:30 Xin Li (\u674e\u946b, Tsinghua University) Blok-Esakia\u5b9a\u7406<\/strong><\/p><p>\u672c\u671f\u8fdb\u9636\u8bfb\u4e66\u4f1a\u5c06\u4e8e 2026\u5e745\u67087\u65e5\uff08\u5468\u56db\uff0914:00-15:30 \u5728\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u4e2d\u5fc3\u4e3e\u884c\uff0c\u7531\u6e05\u534e\u5927\u5b66\u674e\u946b\u540c\u5b66\u62a5\u544a F. Wolter, M. Zakharyaschev \u7684\u6587\u7ae0 On the Blok-Esakia Theorem\uff0c\u4ecb\u7ecd Blok-Esakia \u5b9a\u7406\uff0c\u5c55\u793a Blok \u63d0\u51fa\u7684\u4ee3\u6570\u8bc1\u660e\uff1b\u5982\u6709\u65f6\u95f4\uff0c\u8fd8\u4f1a\u4ecb\u7ecd\u8be5\u5b9a\u7406\u5728\u76f4\u89c9\u4e3b\u4e49\u6a21\u6001\u903b\u8f91\u4e2d\u7684\u6269\u5c55\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\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<\/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\" data-e-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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\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\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<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3f55600 elementor-section-stretched elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3f55600\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;}\">\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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-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\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/people\/\"><img decoding=\"async\" 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\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-e-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\t\t<p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/education\/\"><img loading=\"lazy\" decoding=\"async\" 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\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\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\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-e-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\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/research-2\/\"><img loading=\"lazy\" decoding=\"async\" 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\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-e-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\t\t<h6 style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/\"><img loading=\"lazy\" decoding=\"async\" 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\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<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>NEWS \u7b2c\u516d\u5c4a\u6e05\u534e\u903b\u8f91\u6691\u671f\u5b66\u6821\u4e3e\u529e \u6e05\u534e\u5927\u5b66\u903b\u8f91\u4e2d\u5fc3\u5218\u594b\u8363\u6559\u6388\u7684\u79d1\u666e\u65b0\u4f5c\u51fa\u7248 2026\u5168\u56fd\u6570\u7406\u903b\u8f91\u5e74\u4f1a\u5728\u6e05\u534e [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"categories":[],"tags":[97],"folder":[76],"class_list":["post-6026","page","type-page","status-publish","tag-97","czr-hentry"],"_links":{"self":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026","targetHints":{"allow":["GET"]}}],"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":362,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions"}],"predecessor-version":[{"id":11061,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions\/11061"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6026"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=6026"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=6026"},{"taxonomy":"folder","embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/folder?post=6026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}