{"id":9484,"date":"2026-03-09T10:33:57","date_gmt":"2026-03-09T02:33:57","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=9484"},"modified":"2026-05-05T10:42:37","modified_gmt":"2026-05-05T02:42:37","slug":"cacml2026-titles-and-abstracts","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/cacml2026-titles-and-abstracts\/","title":{"rendered":"Titles and Abstracts of CACML2026"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"9484\" class=\"elementor elementor-9484\" 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-81fc43e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"81fc43e\" 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-027d60d\" data-id=\"027d60d\" 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-b881a21 elementor-widget elementor-widget-text-editor\" data-id=\"b881a21\" 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>\uff08\u672c\u9875\u6301\u7eed\u66f4\u65b0\u4e2d\uff09<\/p><h4 style=\"text-align: center;\"><strong>\u5927\u4f1a\u62a5\u544a<\/strong><\/h4><h4 style=\"text-align: center;\"><strong>\u5927\u4f1a\u79d1\u666e<\/strong><\/h4><p class=\"p1\"><b>\u4e01\u9f99\u4e91 (\u5357\u5f00\u5927\u5b66) |<\/b><b> \u7b49\u4ef7\u5173\u7cfb\u4e0e\u6ce2\u83b1\u5c14\u5f52\u7ea6<\/b><\/p><p class=\"p2\"><strong>\u6458\u8981\uff1a\u8fd1\u5e74\u6765\uff0c\u5728\u63cf\u8ff0\u96c6\u5408\u8bba\u4e2d\uff0c\u6570\u7406\u903b\u8f91\u5b66\u5bb6\u4eec\u53d1\u5c55\u51fa\u4e86\u4e00\u4e2a\u975e\u5e38\u6709\u7528\u7684\u5de5\u5177\u2014\u2014\u6ce2\u83b1\u5c14\u5f52\u7ea6\uff0c\u7528\u4e8e\u523b\u753b\u5728\u6570\u5b66\u7684\u5404\u4e2a\u5206\u652f\u91cc\u53d7\u5230\u5173\u6ce8\u7684\u7b49\u4ef7\u5173\u7cfb\u548c\u5206\u7c7b\u95ee\u9898\u4e4b\u95f4\u7684\u76f8\u5bf9\u7684\u590d\u6742\u7a0b\u5ea6\u3002\u5728\u672c\u6b21\u62a5\u544a\u4e2d\uff0c\u6211\u4eec\u5c06\u5c31\u8fd9\u4e00\u4e3b\u9898\uff0c\u4ece\u5b83\u7684\u8d77\u6e90\u5230\u53d1\u5c55\u73b0\u72b6\uff0c\u505a\u4e00\u4e2a\u7efc\u8ff0\u3002<\/strong><\/p><h4 style=\"text-align: center;\"><strong>\u5206\u4f1a\u573a<\/strong><\/h4><h5>\u9012\u5f52\u8bba\uff1a<\/h5><p class=\"p1\"><b>\u65b9\u6960 (\u4e2d\u56fd\u79d1\u5b66\u9662) |<\/b><em><b> Speedability of computably approximable reals and their approximations<\/b><\/em><\/p><p class=\"p2\"><b>Abstract. An approximation of a real is a sequence of rational numbers that converges to the real. An approximation is left-c.e. if it is computable and nondecreasing and is d.c.e. if it is computable and has bounded variation. A real is computably approximable if it has some computable approximation, and left-c.e. and d.c.e. reals are defined accordingly. An approximation ${a_s}_{s in omega}$ is emph{speedable} if there exists a nondecreasing computable function $f$ such that the approximation ${a_{f(s)}}_{s in omega}$ converges in a certain formal sense faster than ${a_s}_{s in omega}$. This leads to various notions of speedability for reals, e.g., one may require for a computably approximable real that either all or some of its approximations of a specific type are speedable. Merkle and Titov established the equivalence of several speedability notions for left-c.e. reals that are defined in terms of left-c.e. approximations. We extend these results to d.c.e. reals and d.c.e. approximations, and we prove that in this setting, being speedable is equivalent to not being Martin-L&#8221;{o}f random. Finally, we demonstrate that every computably approximable real has a computable approximation that is speedable. This is joint work with George Barmpalias, Wolfgang Merkle, and Ivan Titov.<\/b><\/p><p class=\"p1\"><b>\u5434\u6167\u73ca (\u5317\u4eac\u8bed\u8a00\u5927\u5b66) |<\/b><b><i> The complexity of computable semisimple rings<\/i><\/b><\/p><p class=\"p2\"><b>Abstract. The theory of semisimple rings plays a fundamental role in noncommutative algebra. We study the complexity of the problem of semisimple rings by the index set method in computable structure theory. We define a computably enumerable ring as the quotient ring of a computable ring modulo a computably enumerable congruence relation and view such rings as structures in the language of rings, together with a binary relation. We prove that the index set of computably enumerable semisimple rings is \u03a3^0_3-complete. However, the corresponding results on computable semisimple rings are different. Recently, we develop a new d-\u03a3^0_2 definition for semisimple rings and prove that the index set of computable semisimple rings is d-\u03a3^0_2-complete. This is a recent joint work with Jake Rhody.<\/b><\/p><h5>\u6a21\u578b\u8bba\uff1a<\/h5><p class=\"p1\"><b>Leo Jimenez (\u4fc4\u4ea5\u4fc4\u5dde\u5927\u5b66) |<\/b><b><i> Domination and semi-minimal analysis in superstable theories<\/i><\/b><\/p><p class=\"p2\"><b>Abstract. In model theory, the notion of type is of central importance, as completely encoding the properties of some elements in a model. In specific finite-dimensional theories, called superstable, there are two ways to decompose types: domination-equivalence to a product of minimal types, or using a sequence of fibrations, where each fiber is semiminimal. In this talk, I will define these words and explain the connections between these two decompositions. Along the way, I will use differential equations to provide guiding examples, and conclude with an application to Lotka-Volterra systems. This is joint work with Christine Eagles and Yutong Duan.<\/b><\/p><h5>\u96c6\u5408\u8bba\uff1a<\/h5><p class=\"p1\"><b>\u6234\u5a01 (\u5357\u5f00\u5927\u5b66) |<\/b><b><i> Isometry groups and countable groups with the L&#8217;evy propertyess<\/i><\/b><\/p><p class=\"p2\"><b>Abstract. In the study of extremely amenable groups, the L&#8217;evy property, also known as the concentration of measure phenomenon, plays an important role. The L&#8217;evy property implies extremely amenability, and historically, many well-known groups are shown to be extremely amenable by proving that they have the L&#8217;evy property. In this talk, I will present some new classes of isometry groups and countable groups with the L&#8217;evy property. As a consequence, we show that there are at least continuum many pairwise non-isomorphic separable metrizable groups with the L&#8217;evy property. Moreover, for any given countable locally finite omnigenous group $H$, we can choose a L&#8217;evy sequence such that its increasing union is isomorphic to $H$. If time is permitted, we will also discuss some analogous results in continuous logic and mention some open questions. This is joint work with Su Gao and V&#8217;\u0131ctor Hugo Ya~nez.<\/b><\/p><p class=\"p1\"><b>\u7533\u56fd\u6862 (\u4e2d\u5c71\u5927\u5b66-\u73e0\u6d77) |<\/b><b><i> Amorphous sets and dual Dedekind finiteness<\/i><\/b><\/p><p class=\"p2\"><b>Abstract. A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly amorphous set is an amorphous set in which every partition has only finitely many non-singleton blocks. It is proved consistent with $mathsf{ZF}$ (i.e., Zermelo&#8211;Fraenkel set theory without the axiom of choice) that there exists an amorphous set $A$ whose power set $mathscr{P}(A)$ is dually Dedekind infinite, which gives a negative solution to a question proposed by Truss [J. Truss, emph{Fund. Math.} 84, 187&#8211;208 (1974)]. Nevertheless, we prove in $mathsf{ZF}$ that, for all strictly amorphous sets $A$ and all natural numbers $n$, $mathscr{P}(A)^n$ is dually Dedekind finite, which generalizes a result of Goldstern. This is joint work with Yifan Hu and Ruihuan Mao.<\/b><\/p><h5>\u54f2\u5b66\u903b\u8f91\uff1a<\/h5><p class=\"p1\"><b>\u9a6c\u660e\u8f89 (\u4e2d\u5c71\u5927\u5b66) |<\/b><em><b> The Lattice of Inflationary Superintuitionistic Logics<\/b><\/em><\/p><p class=\"p2\"><b>Abstract. Inflationary intuitionistic logic extends intuitionistic propositional logic with an inflationary modal operator $Box$. We first introduce both the Kripke semantics and algebraic semantics for this logic, then establish the Stone-style representation theory for inflationary Heyting algebras, which yields some Goldblatt-Thomason theorems. Further, we present the lattice of inflationary superintuitionistic logics. We will give a series of results on finite approximability and local tabularity by algebraic methods; notably all finite depth logics are locally tabular. Finally, we characterize splitting logics in the lattice as those axiomatized by Jankov-style formulas for finite subdirectly irreducible inflationary Heyting algebras.<\/b><\/p><p class=\"p1\"><b>\u8c22\u51ef\u535a (\u6b66\u6c49\u5927\u5b66) |<\/b><em><b> A Logical Analysis of Two Interpretations of Nested Counterfactuals<\/b><\/em><\/p><p class=\"p2\"><b>Abstract. Both causal Bayesian networks (CBNs) and structural causal models (SCMs) can be used to analyze the possibility of counterfactual conditionals: within a certain scope, their predictions regarding the probability distribution under counterfactual assumptions are identical. However, conceptually, the two approaches diverge: CBNs first excute interventions and then calculate probability distributions based on the updated graph, whereas SCMs evaluate the truth of counterfactual conditionals relative to each possible world separately, and subsequently aggregating the probabilities of the worlds that satisfy the statement\u2014a philosophical perspective known as the &#8220;Laplacian&#8221; interpretation. This talk will analyze the differences between the two interpretations from the perspective of the nesting of modal operators and investigate their logical properties.<\/b><\/p><p class=\"p1\"><b>\u718a\u4f5c\u519b (\u897f\u5357\u5927\u5b66) |<\/b><b> \u79d8\u5bc6\u903b\u8f91\u4e0e\u79d8\u5bc6\u63a8\u7406<\/b><\/p><p class=\"p2\"><b>Abstract. \u62a5\u544a\u5c06\u4ee5\u201c\u79d8\u5bc6\u201d\u4e0e\u201c\u77e5\u8bc6\u201d\u7684\u7406\u89e3\u4e3a\u5207\u5165\u53e3\uff0c\u5c06\u79d8\u5bc6\u770b\u4f5c\u662f\u521d\u59cb\u6a21\u6001\u7b97\u5b50\uff0c\u5206\u6790\u8ba8\u8bba\u5176\u5bf9\u5e94\u7684\u903b\u8f91\u7cfb\u7edf\u3002\u8fdb\u4e00\u6b65\u68b3\u7406\u8fd1\u5e74\u6765\u201c\u79d8\u5bc6\u903b\u8f91\u201d\u65b9\u9762\u7684\u7814\u7a76\u8fdb\u5c55\u4e0e\u4e3b\u8981\u7ed3\u679c\uff0c\u8ba8\u8bba\u79d8\u5bc6\u52a8\u6001\u5316\u3001\u63a8\u7406\u7684\u4fdd\u5bc6\u6027\u3001\u7fa4\u4f53\u79d8\u5bc6\u7b49\u76f8\u5173\u6269\u5c55\u7814\u7a76\u3002<\/b><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>\uff08\u672c\u9875\u6301\u7eed\u66f4\u65b0\u4e2d\uff09 \u5927\u4f1a\u62a5\u544a \u5927\u4f1a\u79d1\u666e \u4e01\u9f99\u4e91 (\u5357\u5f00\u5927\u5b66) | \u7b49\u4ef7\u5173\u7cfb\u4e0e\u6ce2\u83b1\u5c14\u5f52\u7ea6 \u6458\u8981\uff1a\u8fd1\u5e74\u6765\uff0c\u5728\u63cf\u8ff0\u96c6 [&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\/9484"}],"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=9484"}],"version-history":[{"count":74,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/9484\/revisions"}],"predecessor-version":[{"id":10093,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/9484\/revisions\/10093"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=9484"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}