普京游戏网站

2019年全国数理逻辑年会(CACML 2019)

发布时间:2019-11-11 来源:本站原创 作者:本站编辑   浏览次数:

2019年全国数理逻辑年会(CACML 2019

中国数学会数理逻辑专业委员会主办的“2019全国数理逻辑年会”将于2019年11月15–17日在重庆普京游戏大厅桂园宾馆丹桂楼三楼(9和10会议室)召开,会议得到了中国数学会资助,同时由普京游戏大厅、重庆交通大学和中国科学院重庆绿色智能技术研究院等赞助及联合承办。

本次会议邀请到了新加坡国立大学的庄志达教授(新加坡科学院院士)、美国加州大学的Theodore A. Slaman教授、日本神户大学的Joerg Brendle教授、波兰华沙大学的Krzsztof Krupinski教授、中科院软件所的张健教授等逻辑学家和计算机科学家做大会报告,他们在递归论、集合论、模型论、计算机逻辑和软件形式化方法等方面做出了创造性、奠基性的工作,并开创了自己的理论。同时会议还邀请到了国内外的数理逻辑、计算机逻辑、哲学逻辑、形式化方法与人工智能等学科、领域的知名教授、专家做会议专题报告。数理逻辑年会旨在为数理逻辑及其相关领域的研究学者提供一个广泛的交流、合作平台,促进中国数理逻辑及其相关领域研究的发展。

详细信息请访问网站:http://www.swu-rise.net.cn/CACML2019/index.html。

部分特邀报告安排如下:

普京游戏网站:会议报告内容简介(一)

报告题目:树的Ramsey定理和反推数学

主讲人:  庄志达Chong Chi Tat

报告时间:2019-11-16 09:10 – 10:00

个人简介:

庄志达教授,新加坡国家科学院院士、新加坡国立大学数学科学研究所所长。庄志达教授是世界著名数理逻辑学家。他23岁就取得了耶鲁大学的博士学位,三十多年来,庄先生在数理逻辑的多个方向上(如:递归论、集合论、反推数学等)都做出了开创性成果。他现任新加坡国立大学特聘教师(该校仅有两位特聘教授);曾任新加坡国立大学常务副校长、数学系主任。庄先生是符号逻辑协会执行委员会成员,亚洲逻辑会议的创办者,多年来一直推动亚洲数理逻辑事业的发展。他还资助了很多中国学者都到新加坡国立大学学习和研究,为中国逻辑学界培养了一批逻辑学家。

 

报告摘要:

Ramsey定理证于1931年。它是组合数学里一个关于在有穷自然数集合上的染色问题。反推数学源自希伯特纲领(Hilbert’s Program),是探讨数学哲学里关于有穷与无穷数学之间的关系。这报告将讨论关于Ramsey定理树上的版本在反推数学领域里的几个问题,和研究这类问题的一些最新进展。

普京游戏网站:会议报告内容简介(二)

报告题目:随机性的方面:递归理论和数论

主讲人:   Theodore A. Slaman

报告时间:2019-11-16  10:00 – 10:50

个人简介:

Theodore A. Slaman,美国加州大学教授。于1981年取得了哈佛大学博士学位,师从Gerald Sacks教授。经过为期两年的研究,他进入芝加哥大学教学。 1996年,他进入加州大学伯克利分校教学,此后一直留在那里。Slaman主要从事递归理论的研究工作。他致力于将递归理论应用于其他领域,例如算法随机性理论,集合论等。

报告摘要:

我们将从递归理论和数论的角度,对随机性的多个方面的结果进行综述。在递归理论中,识别同一类实数是避免度量零集和不可近似值的有效方法,但是这些概念、常态和高度理性指数的丢番图版本只是松散地联系在一起,同样,实数的展开是否具有随机性也取决于所选择的表示基数。

普京游戏网站:会议报告内容简介(三)

报告题目: 关于最大对象和可定义性的综述

主讲人:   Joerg Brendle

报告时间:2019-11-16    14:00 – 14:50

个人简介:

Brendle 教授于1991 年获得特宾根大学的博士学位。过去,他曾在德国、以色列和美国的多所大学工作。现在,他是神户大学(日本)的正教授。他的主要研究兴趣是集理论和集理论拓扑。他获得了十多项科学研究资助,并在APAL和JSL等数学逻辑顶级期刊上发表了许多文章。

报告摘要:

具有最大化属性的自然数子集的族,如最大几乎不相交(MAD)族、最大独立族、超过滤器或塔,通常是借助选择公理来构造的,因此很难被定义。在许多情况下,这种可定义的最大化对象是不存在的。例如,Mathias的一个经典结论表明,不存在可分析的MAD族。此外,映射最大几乎不相交家族不存在性是连续的。另一方面,协同分析的MAD族存在于可构造的集合中,因此,我们自然会问,在投影层次的较低层次上,我们可以在多大程度上刻画具有最大对象的模型,以及是否有任何与正则性有关的关系,如勒贝格可测性或贝利属性,来表示射影层次结构的同一级别上的集合。

我的演讲将对这一领域的研究结果进行综述,重点是MAD族、最大独立族以及他们的关系。还将提出若干未解决的问题。

普京游戏网站:会议报告内容简介(四)

报告题目:模型理论的顺从性

主讲人:   Krzsztof Krupinski

报告时间:2019-11-16  14: 50– 15:40

个人简介:

Krupinski教授于2004年获得数学博士学位,2011年获得弗罗茨瓦夫大学数学博士学位。2016年,他被波兰总统授予教授称号。他的研究兴趣是纯粹模型理论及其与代数和拓扑的联系。他自2005年起在弗罗茨瓦夫大学工作。2005年至2008年,他还曾在伊利诺伊大学厄巴纳-香槟分校工作。他获得了多个奖项:(1)2006年库拉托夫斯基奖,该奖授予波兰数学学会和波兰科学院数学研究所颁发的青年数学家奖;(2)2007年G.比亚科夫斯基奖,该奖授予数学最佳博士。2004-2006年在波兰获得(3)W.Sierpinski奖,该奖由波兰科学院第三部授予的关于模型理论及其与代数、拓扑和描述性集理论的联系的一系列论文。

报告摘要:

在我的演讲的第一部分中,我将讨论可定义顺从群的概念。 可定义顺从群扩展了顺从群的类(例如,所有稳定群都是可定义的顺从群),并且自从2005年Pillay猜想被证明以来,它们在模型理论中发挥了重要作用。在我的第二部分中,我将讨论顺从理论的概念,它类似于一阶理论中顺从群的概念。 在我与E. Hrushovski和A. Pillay的合作论文中介绍到这个概念。

普京游戏网站:会议报告内容简介(五)

报告题目:逻辑公式的可满足性判定以及解空间大小的计算

主讲人:   张健 Zhang Jian

报告时间:2019-11-17    08:30 – 09:20

个人简介:

张。泄蒲г喝砑研究所研究员、博士生导师。1994年在中国科学院软件研究所获博士学位。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。主要研究兴趣包括:自动推理和约束求解算法,程序静态分析和软件测试技术。担任《计算机学报》、《中国科学:信息科学》、Journal of Computer Science and Technology、Frontiers of Computer Science、IEEE Transactions on Reliability、《计算机科学与探索》编委。曾担任国家自然科学基金委员会“可信软件基础研究”重大研究计划指导专家组成员,以及ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC等重要国际会议程序委员会委员,国际会议 QRS 2015 程序委员会主席。

报告摘要:

公式的可满足性判定是逻辑和计算机科学中的一个重要问题。本报告将介绍不同逻辑系统(命题逻辑、一阶逻辑、模态逻辑)中公式的可满足性问题,以及相关的自动推理算法与工具,包括我们的一些研究内容及成果。除了判定可满足性以外,也将介绍计数问题及相应的工具。还将介绍有关技术在程序分析及形式化方法等方面的应用。

 

 

普京游戏网站-普京游戏大厅