{"id":29,"date":"2025-02-28T08:10:51","date_gmt":"2025-02-28T00:10:51","guid":{"rendered":"https:\/\/www.ncml.org.cn\/sites\/2025\/?page_id=29"},"modified":"2025-10-27T16:28:29","modified_gmt":"2025-10-27T08:28:29","slug":"invited-speakers","status":"publish","type":"page","link":"https:\/\/www.ncml.org.cn\/sites\/2025\/invited-speakers\/","title":{"rendered":"\u7279\u9080\u62a5\u544a"},"content":{"rendered":"<h5>\u9093\u7389\u6b23\uff08\u4e0a\u6d77\u8d22\u7ecf\u5927\u5b66\u8ba1\u7b97\u673a\u4e0e\u4eba\u5de5\u667a\u80fd\u5b66\u9662\uff09\uff1a\u7ecf\u5178-\u91cf\u5b50\u7a0b\u5e8f\u4e2d\u6982\u7387\u884c\u4e3a\u7684\u5c40\u90e8\u63a8\u7406\u65b9\u6cd5\u3002<\/h5>\n<blockquote>\n<p style=\"text-align: left\">\u5bf9\u4e8e\u540c\u65f6\u5305\u542b\u7ecf\u5178\u4e0e\u91cf\u5b50\u6784\u9020\u7684\u7a0b\u5e8f\uff0c\u9a8c\u8bc1\u5176\u529f\u80fd\u6b63\u786e\u6027\u662f\u4e00\u9879\u6781\u5177\u6311\u6218\u6027\u7684\u4efb\u52a1\u3002\u5bf9\u4e8e\u8fd9\u7c7b\u7a0b\u5e8f\uff0c\u7531\u91cf\u5b50\u6d4b\u91cf\u5f15\u53d1\u7684\u6982\u7387\u884c\u4e3a\u4e0e\u65e0\u9650\u5faa\u73af\u53ef\u80fd\u540c\u65f6\u5b58\u5728\uff0c\u4f7f\u5f97\u9a8c\u8bc1\u5de5\u4f5c\u53d8\u5f97\u975e\u5e38\u590d\u6742\u3002\u6211\u4eec\u5f15\u5165\u5206\u5e03\u516c\u5f0f\u6765\u523b\u753b\u6982\u7387\u7279\u6027\uff0c\u5e76\u53d7\u5230\u5206\u79bb\u903b\u8f91\u7684\u542f\u53d1\uff0c\u63d0\u51fa\u4e86\u4e00\u79cd\u65b0\u578b\u91cf\u5b50\u970d\u5c14\u903b\u8f91\u7cfb\u7edf\uff0c\u7528\u4e8e\u5bf9\u6982\u7387\u884c\u4e3a\u8fdb\u884c\u5c40\u90e8\u63a8\u7406\u3002\u6211\u4eec\u8bc1\u660e\u4e86\u8be5\u903b\u8f91\u7cfb\u7edf\u4e2d\u5404\u9879\u63a8\u7406\u89c4\u5219\u76f8\u5bf9\u4e8e\u4e00\u79cd\u6307\u79f0\u8bed\u4e49\u7684\u53ef\u9760\u6027\u3002\u4e3a\u5c55\u793a\u8be5\u903b\u8f91\u7cfb\u7edf\u7684\u6709\u6548\u6027\uff0c\u6211\u4eec\u5bf9HHL\u7b97\u6cd5\u3001Shor \u7b97\u6cd5\u7b49\u91cd\u8981\u91cf\u5b50\u7b97\u6cd5\u7684\u6b63\u786e\u6027\u8fdb\u884c\u4e86\u5b8c\u6574\u7684\u5f62\u5f0f\u5316\u9a8c\u8bc1\u3002\u6b64\u5916\uff0c\u6211\u4eec\u5c06\u8be5\u903b\u8f91\u7cfb\u7edf\u5d4c\u5165\u5230\u5b9a\u7406\u8bc1\u660e\u5668Coq\u4e2d\uff0c\u7531\u6b64\u6784\u5efa\u7684\u903b\u8f91\u6846\u67b6\u80fd\u591f\u6709\u6548\u652f\u6301\u7ecf\u5178-\u91cf\u5b50\u7a0b\u5e8f\u7684\u534a\u81ea\u52a8\u5316\u63a8\u7406\u3002<\/p>\n<\/blockquote>\n<h5>\u738b\u5f66\u6676\uff08\u5317\u4eac\u5927\u5b66\u54f2\u5b66\u7cfb\uff09\uff1aAssignment Operators as Bridges.<\/h5>\n<blockquote>\n<p style=\"text-align: left\">The assignment operator, [x := t], captures one of the most fundamental operations in computation: assigning the value of a term to a variable. Its introduction to logic dates back to the early days of Dynamic Logic, where it was essential for formalizing programs and reasoning about their correctness. This talk will survey a growing body of recent research demonstrating that variants of this seemingly simple operator have applications extending far beyond program verification. I will show how these generalized forms of assignment can act as powerful &#8220;bridges&#8221; between paradigms in philosophical logic, particularly in first-order modal logic and epistemic logic. In doing so, the assignment operators render previously opaque logical expressions transparent, break the implicit assumptions, and help strike a balance between expressivity and complexity.<\/p>\n<\/blockquote>\n<h5>\u6768\u00a0 \u00a0 \u8dc3\uff08\u65b0\u52a0\u5761\u56fd\u7acb\u5927\u5b66\u6570\u5b66\u7cfb\uff09\uff1a\u4ec0\u4e48\u662f\u6709\u7a77\u7c7b\u578b\u4e0a\u7684\u53ef\u8ba1\u7b97\u6027\uff1f<\/h5>\n<blockquote><p>\u54e5\u5fb7\u5c14\u66fe\u7ecf\u8bd5\u56fe\u5229\u7528\u6709\u7a77\u7c7b\u578b\u4e0a\u7684\u53ef\u8ba1\u7b97\u6cdb\u51fd\u6765\u8bc1\u660e\u7ecf\u5178\u6570\u8bba\u7684\u4e00\u81f4\u6027\u3002\u5728\u4ed6\u770b\u6765\uff0c\u53ef\u8ba1\u7b97\u6cdb\u51fd\u8fd9\u6837\u7684\u62bd\u8c61\u6982\u5ff5\u53ef\u4ee5\u88ab\u89c6\u4e3a\u6709\u7a77\u4e3b\u4e49\u7684\uff0c\u5c3d\u7ba1\u5b83\u4e0d\u662f\u5e0c\u5c14\u4f2f\u7279\u610f\u4e49\u4e0a\u7684\u6709\u7a77\u4e3b\u4e49\uff0c\u89c1\u54e5\u5fb7\u5c14[1972] \u201cOn an extension of finitary mathematics which has not yet been used\u201d\u3002\u5728[1972] \u6587\u4e2d\uff0c\u54e5\u5fb7\u5c14\u5728\u5bf9\u53ef\u8ba1\u7b97\u6cdb\u51fd\u7684\u63cf\u8ff0\u4e2d\u7528\u4e86\u201cwell-defined mathematical procedure\u201d\u8fd9\u4e00\u6982\u5ff5\uff0c\u7136\u800c\u4ed6\u5e76\u6ca1\u6709\u7ed9\u51fa\u7cbe\u786e\u7684\u5b9a\u4e49\uff0c\u4ec5\u4ec5\u8bf4\u5230\uff1a<\/p>\n<p><em>The phrase \u201cwell-defined mathematical procedure\u201d is to be accepted as <\/em><em>having a clear meaning without any further explanation.<\/em><\/p>\n<p>\u672c\u62a5\u544a\u7684\u4e3b\u8981\u5185\u5bb9\u662f\u8bd5\u56fe\u7ed9\u6709\u7a77\u7c7b\u578b\u4e0a\u7684\u53ef\u8ba1\u7b97\u6027\u4e0b\u4e00\u4e2a\u4e25\u683c\u7684\u5b9a\u4e49\uff0c\u5e76\u5c06\u5b83\u4e0e\u7ecf\u5178\u7684\u53ef\u8ba1\u7b97\u6027\u6982\u5ff5\u4f5c\u6bd4\u8f83\u3002<\/p>\n<p>\uff08This talk is based on joint work with Zekun Jia from National University of Singapore, Keng Meng Ng from Nanyang Technological University, Singapore and Nazanin Tavana from Amir Kabir University, Iran.\uff09<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>\u9093\u7389\u6b23\uff08\u4e0a\u6d77\u8d22\u7ecf\u5927\u5b66\u8ba1\u7b97\u673a\u4e0e\u4eba\u5de5\u667a\u80fd\u5b66\u9662\uff09\uff1a\u7ecf\u5178-\u91cf\u5b50\u7a0b\u5e8f\u4e2d\u6982\u7387\u884c\u4e3a\u7684\u5c40\u90e8\u63a8\u7406\u65b9\u6cd5\u3002 \u5bf9\u4e8e\u540c\u65f6\u5305\u542b\u7ecf\u5178\u4e0e\u91cf\u5b50\u6784 &#8230; <a title=\"\u7279\u9080\u62a5\u544a\" class=\"read-more\" href=\"https:\/\/www.ncml.org.cn\/sites\/2025\/invited-speakers\/\" aria-label=\"\u9605\u8bfb \u7279\u9080\u62a5\u544a\">\u9605\u8bfb\u66f4\u591a<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-29","page","type-page","status-publish"],"_links":{"self":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/29","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/comments?post=29"}],"version-history":[{"count":10,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/29\/revisions"}],"predecessor-version":[{"id":595,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/29\/revisions\/595"}],"wp:attachment":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/media?parent=29"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}