{"id":1870,"date":"2020-02-15T13:37:41","date_gmt":"2020-02-15T05:37:41","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=1870"},"modified":"2026-09-22T10:48:18","modified_gmt":"2026-09-22T02:48:18","slug":"thulogicsalon","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/event-series\/thulogicsalon\/","title":{"rendered":"Tsinghua Logic Salon"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1870\" class=\"elementor elementor-1870\" 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-f847d7a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f847d7a\" 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-7e6019d\" data-id=\"7e6019d\" 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-4acb03c elementor-widget elementor-widget-image\" data-id=\"4acb03c\" data-element_type=\"widget\" data-widget_type=\"image.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{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"900\" height=\"500\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/640-2.png\" class=\"attachment-full size-full\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/640-2.png 900w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/640-2-200x111.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/640-2-768x427.png 768w\" sizes=\"(max-width: 900px) 100vw, 900px\" \/>\t\t\t\t\t\t\t\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-47b4505 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"47b4505\" 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-cbe27eb\" data-id=\"cbe27eb\" 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-aa4cdef elementor-widget elementor-widget-text-editor\" data-id=\"aa4cdef\" 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>Initiated by the center&#8217;s students and researchers in 2019, the Tsinghua Logic Salon has quickly grown into a lively platform for try-outs and exchanges of new ideas. Researchers in various fields of logic are invited to present their latest research, as well as the challenges that they see. Every participant is encouraged to engage in discussions and exchange of perspectives. Each session lasts for 1.5 hours in total, with 30 minutes of discussion included.<\/p><p><\/p><p><\/p><p>Organizing Committee:<\/p><p><\/p><p><\/p><p>Junhua Yu, Chenwei Shi, Wei Wang, Han Xiao, Haoxuan Luo. (From June 2025 to Now)<\/p><p><\/p><p><\/p><p>Junhua Yu, Chenwei Shi, Wei Wang, Jialiang Yan, Penghao Du. (From September 2023 to June 2025)<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-2569855 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2569855\" 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-b8f4b9f\" data-id=\"b8f4b9f\" 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-65a710a elementor-widget elementor-widget-text-editor\" data-id=\"65a710a\" data-element_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<p><span style=\"color: #303133; font-size: 28.8px;\">\u25a0 Current Events<\/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\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3fa5abf elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3fa5abf\" 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-55d829b\" data-id=\"55d829b\" 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-a3962a0 elementor-widget elementor-widget-toggle\" data-id=\"a3962a0\" data-element_type=\"widget\" data-widget_type=\"toggle.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-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1711\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1711\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2026 Sep 24 16:00-17:30 Johan van Benthem (Tsinghua University, Stanford University, and Amsterdam University) A Short History of Set Lifting and its Modal Character<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1711\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1711\"><p>Many current hyperintensional logics with a semantics using truthmaking, \u2018support&#8217;, or teams fit in a long tradition of set-lifting classical logical systems. I will add some older examples dating back to around 1980, stressing the essentially modal character of this move. Next I will discuss the mathematical framework of &#8216;Complex Algebra\u2019 that lies behind set-lifting. Finally, I introduce two faithful translations of known hyperintensional logics into classical modal logics. I conclude with some discussion of the many new issues these connections raise for both kinds of logical system.<\/p>\n<section><span data-mpa-action-id=\"mu9n5528ybh\" data-pm-slice=\"0 0 []\">References<\/span><\/section>\n<section><span data-mpa-action-id=\"mu9n5sjp19eg\" data-pm-slice=\"0 0 []\">J. van Benthem, 2018, &#8216;Implicit and Explicit Stances in Logic&#8217;,\u00a0Journal of Philosophical Logic, 48, 571\u2013601.\u00a0<\/span><\/section>\n<section><span data-mpa-action-id=\"mu9n5sjp19eg\" data-pm-slice=\"0 0 []\">\u2013, 2024, &#8216;Relational Patterns, Partiality, and Set Lifting in Modal Semantics&#8217;, in Y. Weiss and R. Birman, eds.,\u00a0Outstanding Logicians Volume Saul Kripke, Springer Science Publishers, 93\u2013119.<\/span><\/section>\n<section><span data-mpa-action-id=\"mu9n5sjp19eg\" data-pm-slice=\"0 0 []\">M. Aloni, A. Baltag, J. van Benthem, N. Bezhanishvili &amp; S. Knudstorp, 2026, &#8216;Translating BSL\u2019, paper in progress, ILLC, University of Amsterdam.<\/span><\/section>\n<p><strong>About the speaker:<\/strong> Johan van Benthem is a University Professor emeritus of pure and applied logic at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and Jin Yuelin Professor of Logic at Tsinghua University Beijing. He has worked in modal logic, temporal logic, logical semantics and syntax of natural language, as well as dynamic logics of information, computation, and agency. He was the founding director of the &#8216;Institute for Logic, Language and Computation&#8217; (ILLC) at the University of Amsterdam, and the first Chair and First Honorary Member of the European Association for Language, Logic and Information (FoLLI). His published books include &#8220;The Logic of Time&#8221; (1983), &#8220;Modal Logic and Classical Logic&#8221; (1985), &#8220;Essays in Logical Semantics&#8221; (1986), &#8220;Language in Action&#8221; (1991), and &#8220;Exploring Logical Dynamics&#8221; (1996). His current main interest is the theme of intelligent interaction, at the interface of logic, computer science, cognitive science, and game theory, with new books \u201cModal Logic for Open Minds\u201d (2010), \u201cLogical Dynamics of Information and Interaction\u201d (2011) and \u201cLogic in Games\u201d (2014). Published some 400 papers. Editor of Handbooks of &#8220;Logic and Language&#8221; (1997), &#8220;Modal Logic&#8221; (2006), &#8220;Spatial Logics&#8221; (2007), and &#8220;Philosophy of Information&#8221; (2008). He is a member of the Academia Europaea (1991), the Royal Dutch Academy of Arts and Sciences (1992), Institut International de Philosophie (2001), and Hollandsche Maatschappij der Wetenschappen (2002). In addition, he is also a foreign member of the American Academy of Arts and Sciences. In 1996 he received the Dutch national NWO Spinoza Premium for his total research.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1712\" class=\"elementor-tab-title\" data-tab=\"2\" role=\"tab\" aria-controls=\"elementor-tab-content-1712\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2026 Sep 17 14:00-15:30 Bakh Khoussainov (\u7535\u5b50\u79d1\u6280\u5927\u5b66) Solving the Bergstra-Tucker problem: an algebra without finitely presented expansions<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1712\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1712\"><p>A classical result of Bergstra and Tucker states that every finitely generated computable algebra admits a finite presentation after expanding the signature with finitely many auxiliary computable operations. They also prove that every computably enumerable algebra can be embedded into a finitely presented algebra by adding new operations to the extended algebra. These results led Bergstra and Tucker, and independently Goncharov, to ask in the late 1970s whether every finitely generated computably enumerable algebra admits a finite presentation by either equations or quasi-equations in an expansion without extending the domain. The equational case of this problem was fully resolved in the 1988-2014 period.\u00a0<\/p>\n<section>This work addresses the remaining case of conditional equations, i.e., quasi-equations of the form (s1=t1 \u2227 \u2026 \u2227 sn=tn) =&gt; s=t. Unlike equations, conditional equations are not preserved under homomorphisms, a fundamental difference that renders the methods developed for the equational case inapplicable to quasi-equations. We therefore develop a new approach and construct a finitely generated computably enumerable algebra that admits no finite presentation by conditional equations in any expansion. The proof brings together techniques from several areas: universal algebra, through the analysis of almost free algebras and their algorithmic properties; model theory, via quantifier elimination for almost free algebras; and computability theory, via a finite injury priority argument. This provides a complete solution to the Bergstra\u2013Tucker problem and closes the final gap in the theory of finite presentations for computably enumerable finitely generated algebras.<\/section>\n<section>This is a joint work with Jia Yifan and Heer Tern Kooh.<\/section>\n<p><strong>About the speaker:<\/strong> Bakh Khoussainov \u73b0\u4efb\u7535\u5b50\u79d1\u6280\u5927\u5b66\u7b97\u6cd5\u4e0e\u903b\u8f91\u5b9e\u9a8c\u5ba4\u4e3b\u4efb\uff0c\u7814\u7a76\u9886\u57df\u6db5\u76d6\u6570\u7406\u903b\u8f91\u4e0e\u7406\u8bba\u8ba1\u7b97\u673a\u79d1\u5b66\u3002\u4ed6\u662f\u65b0\u897f\u5170\u7687\u5bb6\u5b66\u4f1a\u4f1a\u58eb\u3001<span class=\"\">\u6b27\u6d32\u79d1\u5b66\u9662\u9662\u58eb<\/span>\uff0c\u5e76\u5165\u9009\u4e2d\u56fd\u56fd\u5bb6\u7ea7\u4eba\u624d\u8ba1\u5212\uff08\u957f\u6c5f\u5b66\u8005\u8bb2\u5e2d\u5b66\u8005\uff09\u3002\u4ed6\u66fe\u83b7\u6b27\u6d32\u7406\u8bba\u8ba1\u7b97\u673a\u79d1\u5b66\u534f\u4f1a Nerode \u5956\u3001\u6d2a\u5821\u5956\uff0c\u4ee5\u53ca STOC 2017 \u6700\u4f73\u8bba\u6587\u5956\u3002<\/p>\n<section>\u4ed6\u5df2\u6307\u5bfc20\u4f59\u540d\u535a\u58eb\u7814\u7a76\u751f\uff0c\u53d1\u8868\u7814\u7a76\u8bba\u6587160\u4f59\u7bc7\uff0c\u5e76\u66fe\u5728\u5eb7\u5948\u5c14\u5927\u5b66\u3001\u6d77\u5fb7\u5821\u5927\u5b66\u3001\u65b0\u52a0\u5761\u56fd\u7acb\u5927\u5b66\u3001\u65b0\u897f\u4f2f\u5229\u4e9a\u56fd\u7acb\u5927\u5b66\u3001\u4eac\u90fd\u5927\u5b66\u7b49\u9ad8\u6821\u62c5\u4efb\u6559\u6388\u6216\u8bbf\u95ee\u6559\u6388\u3002<\/section><\/div>\n\t\t\t\t<\/div>\n\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\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-70eb2e9f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"70eb2e9f\" 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-43caa3be\" data-id=\"43caa3be\" 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-9a118e2 elementor-widget elementor-widget-text-editor\" data-id=\"9a118e2\" data-element_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<p><!-- wp:paragraph --><\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">\u00a0<\/p>\n<section>\n<div><hr style=\"border-right-style: none; border-bottom-style: none; border-left-style: none; border-right-width: medium; border-left-width: medium; border-color: currentcolor; border-image-source: none;\" \/><\/div>\n<\/section>\n<p><!-- \/wp:spacer --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>\u25a0Past Events<\/h3>\n<p><!-- \/wp:heading --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p>Click <a href=\"http:\/\/tsinghualogic.net\/JRC\/past-events\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4211\">HERE<\/a> to check the past events from 2019-2024.<\/p>\n<p>Click\u00a0<a style=\"transition-timing-function: ease;\" href=\"http:\/\/tsinghualogic.net\/JRC\/past-salons\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4211\">HERE<\/a>\u00a0to check the past events from 2024-.<\/p>\n<p>\u00a0<\/p>\n<p><!-- \/wp:image --><\/p>\n<p><style>\/*! elementor - v3.5.0 - 12-12-2021 *\/<br \/> .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><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3d8e2cd elementor-widget elementor-widget-text-editor\" data-id=\"3d8e2cd\" data-element_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\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-4ebaea0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4ebaea0\" 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-b80c7df\" data-id=\"b80c7df\" 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-06988a0 elementor-widget elementor-widget-image\" data-id=\"06988a0\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"1140\" height=\"2052\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709.png\" class=\"attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709.png 1247w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709-111x200.png 111w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709-768x1383.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709-853x1536.png 853w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_20251120231121_123_709-1138x2048.png 1138w\" sizes=\"(max-width: 1140px) 100vw, 1140px\" \/>\t\t\t\t\t\t\t\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\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>Initiated by the center&#8217;s students and researcher [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":601,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"categories":[],"tags":[97,96],"folder":[95],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1870"}],"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=1870"}],"version-history":[{"count":227,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1870\/revisions"}],"predecessor-version":[{"id":10989,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1870\/revisions\/10989"}],"up":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/601"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1870"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=1870"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=1870"},{"taxonomy":"folder","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/folder?post=1870"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}