{"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-04-14T11:40:57","modified_gmt":"2026-04-14T03:40:57","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-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 Apr 16 14:00-15:30 Andrew Arana (University of Lorraine) An Introduction to Purity of Methods<\/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 data-tool=\"mdnice\u7f16\u8f91\u5668\">A proof of a theorem can be said to be pure if it draws only on what is \u201cclose\u201d or \u201cintrinsic\u201d to that theorem. In this talk, we will introduce the apparent preference for pure proofs that has persisted in mathematics since antiquity, alongside a competing preference for impurity. After giving an example from number theory and a brief history of purity in mathematics, we will distinguish four types of purity, based on different measures of distance between theorem and proof. We will then discuss reasons for preferring pure proofs, for the varieties of purity constraints that we have presented.<\/p>\n<section><strong>About the speaker<\/strong>: Andrew Arana works in logic and the philosophy of mathematics. He is professor of philosophy at the University of Lorraine and director of the Archives Poincar\u00e9 (CNRS UMR 7117), a research laboratory in the history and philosophy of science.<\/section><\/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 Apr 16 16:00-17:30 Valentin Goranko (Stockholm University) How Ignorant Can One Be? \u2013 The Quest for Ultimate Ignorance<\/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 data-tool=\"mdnice\u7f16\u8f91\u5668\">This talk is about a project where we aim to explore the concept of\u00a0<em>ultimate ignorance<\/em> of an agent, depending on the underlying logic of knowledge. By \u201cultimate ignorance\u201d we mean an operator obtained by iterating the ignorance operator \\mathcal{L} (possibly transfinitely), where \\mathcal{L} _\\varphi intuitively saying that \u201cThe agent is ignorant whether \\varphi\u00a0is true\u201d, until stabilisation up to logical equivalence, if that stabilisation ever occurs.<\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">Here, we set the stage for the project and explore the logical behaviour of the finite hierarchy of ignorance \\mathcal{L}, \\mathcal{L}^2, . . . and its limit operator \\mathcal{L}^\\omega and demonstrate that, contrary to common expectation, that behaviour is generally rather complex, both in terms of the valid consequences between these operators and in terms of the semantic conditions corresponding to the respective implications between them, over relatively weaker underlying logics of knowledge.<\/p>\n<p data-tool=\"mdnice\u7f16\u8f91\u5668\">This is joint work with Hans van Ditmarsch and Yanjing Wang.<\/p>\n<section><\/section>\n<section><\/section>\n<section><strong>About the speaker<\/strong>: Valentin Goranko is a professor of logic and theoretical philosophy at the Department of Philosophy at Stockholm University. His research interests include modal and temporal logics and logics for multi-agent systems. He has published over 150 peer-reviewed research papers, as well as 4 authored or co-authored books. He is the President of the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) of the International Union of History and Philosophy of Science and Technology (IUHPST) and of the Scandinavian Logic Society. He is also the Editor-in-Chief of the Springer LNCS\/FoLLI book series, the Editor-in-Chief of MDPI\u00a0Logics, as well as a member of several other editorial boards.<\/section><\/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-1713\" class=\"elementor-tab-title\" data-tab=\"3\" role=\"tab\" aria-controls=\"elementor-tab-content-1713\" 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 Apr 9 16:00-17:30 Emiliano Lorini (Centre National de la Recherche Scientifique (CNRS)) A Rule-based Modal Framework for Causal Reasoning<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1713\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1713\"><p>In this talk, I will introduce a rule-based semantics for causal reasoning and a family of modal languages interpreted through this semantics, built around the concept of causal necessity. I will use these languages to formalize causal concepts, including actual causality and counterfactual conditionals. I will then present techniques for automating these languages, based on satisfiability and model checking. Time permitting, I will illustrate how these languages and decision procedures can be applied to causal reasoning in the legal domain.\u00a0My talk is based on a paper recently published in the\u00a0Journal of Artificial Intelligence Research\u00a0(JAIR) and available at\u00a0<a href=\"https:\/\/www.jair.org\/index.php\/jair\/article\/view\/18960\">https:\/\/www.jair.org\/index.php\/jair\/article\/view\/18960<\/a><\/p>\n<section><\/section>\n<section><\/section>\n<section><strong>About the speaker<\/strong>: Emiliano Lorini is a Senior Researcher (\u201cDirecteur de Recherche\u201d) at the Centre National de la Recherche Scientifique (CNRS). He is the Head of the Artificial Intelligence Department at the Institut de Recherche en Informatique de Toulouse (IRIT), France. In 2014, he was awarded the CNRS Bronze Medal. He is an Associate Editor of the journal\u00a0Artificial Intelligence. The general aim of his research is to develop logics and formal models that combine logic and game theory to formalize (i) the reasoning and decision-making processes of intelligent agents and their interactions, and (ii) the socio-cognitive and normative concepts underlying these interactions.<\/section><\/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-1714\" class=\"elementor-tab-title\" data-tab=\"4\" role=\"tab\" aria-controls=\"elementor-tab-content-1714\" 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 Mar 19 16:00-17:30 Hugh Woodin (Harvard University) Can AI discover truth which is beyond proof?<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1714\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"4\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1714\"><p>We examine the question through the lens of modern and future Set Theory.<\/p>\n<p><strong>About the speaker<\/strong>: William Hugh Woodin is an American mathematician and\u00a0set theorist\u00a0at\u00a0Harvard University. He has made many notable contributions to the theory of\u00a0inner models\u00a0and\u00a0determinacy. A type of\u00a0large cardinals, the\u00a0Woodin cardinals, bear his name. In 2023, he was elected to the\u00a0National Academy of Sciences.<\/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-1715\" class=\"elementor-tab-title\" data-tab=\"5\" role=\"tab\" aria-controls=\"elementor-tab-content-1715\" 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 Feb 26 16:00-17:30 Hanti Lin (University of California, Davis) Some Foundational Problems in Inductive Logic<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1715\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"5\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1715\"><p>Much work has been done to develop one system of inductive logic or another, but there has been much less discussion of what inductive logic should be\u2014or should not be\u2014at a high level of generality. Accordingly, this talk formulates, sharpens, and addresses some foundational problems in inductive logic, while being careful about how those problems are interrelated. The problems I have in mind include the following: (1) Should inductive logic be formal (like deductive logic) or material? (2) Should inductive logic concern a binary relation between sets of premises and conclusions (like deductive logic) or a ternary relation? (3) How should inductive logic be related to other branches of logic, such as deductive logic and nonmonotonic logic? (4) Should inductive logic incorporate probability theory and, if so, how\u2014for example, in a Bayesian or Peircean way?<\/p>\n<p><strong>About the speaker<\/strong>: Hanti Lin\u00a0is a philosopher of science and formal epistemologist, with papers published in philosophy as well as theoretical computer science. Before he joined UC Davis, he was a postdoc at the Australian National University.<\/p>\n<p>\u00a0<\/p><\/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<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=\"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":[],"_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":203,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1870\/revisions"}],"predecessor-version":[{"id":10036,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1870\/revisions\/10036"}],"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"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}