小乐数学科普预告2021年1月美国数学联合会议演讲者

　　小乐导读：由AMS美国数学(学)会与MAA美国数学协会，联合举办的JMM数学联合会议，即将于2021年1月6日~9日举办，受COVID-19新冠疫情影响，本次举办是在线上。本届大会将会颁发诸多数学奖项，如罗素奖、萨特奖、斯蒂尔开创研究奖、科尔代数奖等。下面是zzllrr小乐编译的部分特邀演讲嘉宾与演讲内容简介，原文素材来自AMS美国数学会官网，正式演讲时间表以官网通知为准，请注意合理安排时间（如无特殊说明，文中的时间均为美国山地时间，与北京时间差15小时）。2021年1月6日，星期三，演讲1~演讲5演讲1
　　演讲时间：2021年1月6日，星期三，上​午10:05至10:55
　　演讲主题：算术和几何朗兰兹纲领
　　演讲者：朱歆文，四川人，加州理工学院数学系教授。他于2004年在北京大学获得数学学士学位，2009年在加州大学伯克利分校获得博士学位，导师是爱德华·弗伦克尔。之后，他在哈佛大学担任教本杰明·皮尔斯讲师、西北大学助理教授，曾获斯隆奖、2020年科学突破奖——数学新视野奖等。
　　演讲内容简介：由罗伯特·朗兰兹（Robert Langlands）在1960年代提出的朗兰兹纲领，将数论和表示论中的许多问题统一起来，并且在求解经典的丢番图方程中发现了重要的应用。它的几何版本由Drinfeld和Laumon在1980年代提出，扩大了朗兰兹哲学的范围，并使它与诸如物理学之类的其他学科联系起来。有趣的是，近年来，来自几何理论的一些思想也启发并引导了传统算术理论及其相关问题的发展。我将分享其中的一些最新进展。演讲2
　　演讲时间：2021年1月6日，星期三，上​​午11:00至11:50
　　演讲主题：动力学中的对称和不对称
　　演讲者：Amie Wilkinson艾米·威尔金森，国际数学家大会45分钟报告人，美国芝加哥大学教授。
　　演讲内容简介：在经典力学中，出现对称性是有原因的：存在守恒量，例如角动量。这是诺特定理，它指出了动力学中更广泛的主题，即对称性是罕见且有意义的。我将在现代动力学和几何学的背景下讨论该主题如何以优美的方式重复出现：一方面，一个典型的对象具有尽可能少的对称性，另一方面，一些额外的对称性意味着很多对称性，这种现象称为刚性。演讲3
　　演讲时间：2021年1月6日，星期三，下午1：00 -1：50
　　演讲主题：物理学教给我们的关于高维计算的知识
　　演讲者：Lenka Zdeborova，瑞士洛桑联邦理工学院EPFL的物理学和计算机科学与通信系统教授。她是捷克的物理学家和计算机科学家，将统计物理学的方法应用于机器学习和约束满足问题。
　　演讲内容简介：高维问题中的计算问题无处不在，但是我们仍然缺乏令人满意的理论框架来回答大多数问题。相应的问题通常映射到某些统计物理系统，其中高维度就转换为大量相互作用的元素。然后可以使用统计物理学的理论工具来研究计算问题，并为数学和算法发展提供信息。我们将以人工神经网络和信号处理中的应用为例，重点介绍该领域的一些关键成果。我们将讨论导致新数学发展的结果，以及仍未解决但启发当前研究的其他结果。演讲4
　　演讲时间：2021年1月6日，星期三，下午2：15-3：05
　　演讲主题：下一代AI：我们正在推动AI超越机器学习，我们需要您的帮助
　　演讲者：安吉拉·谢菲尔德（Angela Sheffield），美国国家核安全局
　　演讲内容简介：对于高度专业化、科学化和高成果行业，如科研和国家安全等，大多数现成的机器和深度学习模型都不起作用。我们淹没在数据中，但是几乎没有标签或所寻找内容的示例。我们的方法必须遵守物理学和社会科学的法则和基本原理，并利用这些领域的认知来提高绩效。而我们可能会开发、训练和验证我们的数据模型，模型一旦部署，所遇到的数据在统计上会有非常的不同。在猫视频和检索系统之外的世界中（在核安全领域中），我们需要基于数学和统计学的新的、多学科的AI方法。需要像您这样的数学家来帮助我们建立它们！
　　在本次演讲中，我将讨论在美国能源部国家实验室综合体的研究，该实验室正在推动最先进的技术来开发下一代AI方法和技术，以应对美国最严峻的科学和安全挑战。演讲5
　　演讲时间：2021年1月6日，星期三，下午3:20至4:10
　　演讲主题：协作之道
　　演讲者：Chelsea Walton切尔西·沃尔顿，赖斯大学。其研究兴趣包括非交换代数，非交换代数几何，量子力学中的对称性，霍普夫代数和量子群。 她是莱斯大学的副教授和斯隆研究学者。
　　演讲内容简介：我听了很多演讲-如果我不得不猜测的话，远远超过500场演讲。大多数演讲都是关于某人（演讲者或他人）的成就的，但是我很少看到关于这些定理，文章和程序如何发展的讨论。数学思想如何产生和发展？特别是对于协作项目，人们在数学研究中如何进行＂小组合作＂？
　　在本次演讲中，我旨在拉开帷幕，并通过分享我自己工作的一些幕后故事以及提供一些从事合作研究项目的具体技巧，来表明这一过程并不神奇。2021年1月7日，星期四，演讲6~演讲10演讲6
　　演讲时间：2021年1月7日，星期四，上午9:00至9:50
　　演讲主题：来自有限域上多项式的代码
　　演讲者：Nathan Kaplan内森·卡普兰，加州大学尔湾分校副教授
　　演讲内容简介：假设我们正在尝试通过＂嘈杂的频道＂进行交流。我想向您发送一个比特，即1或0，但有可能我发送的比特不是您收到的比特。我们可以通过同意重复预期的消息来进行更可靠的通信，例如，我将发送＂ 000＂或＂ 111＂而不是发送＂ 0＂或＂ 1＂。但是，这种重复是有代价的。纠错码理论的主要目标是了解如何有效地在消息中建立冗余，以便我们可以识别和纠正错误。在本次演讲中，我们将从Reed-Solomon码的经典示例开始，着眼于来自有限域上的多项式族的纠错码。我们将强调编码理论，代数几何和数论之间的联系。本演讲将假定您以前不熟悉编码理论或代数几何。我们将从基础开始，并强调具体示例。演讲7
　　演讲时间：2021年1月7日，星期四，上午11:10-中午12:00
　　演讲主题：人机交互模型和随机优化
　　演讲者：Thaleia Zariphopoulou, 德州大学奥斯汀分校数学系主任和V. H. Neuhaus Centennial金融教授。她是专门从事数学金融的希腊裔美国数学家。
　　演讲内容简介：我将介绍一系列人机交互（HMI）模型，以进行最佳资产分配，风险管理和投资组合选择（机器人建议）。建模困难的原因是量化人类风险偏好和描述其演变的能力有限，以及环境随机的事实，机器在此环境中优化、适应人类外生的实时传入的信息。此外，人的风险偏好和机器状态可能会在不同的范围内演变。这种互动产生了一种自适应的合作游戏，双方之间的信息交换不对称且不完全。
　　结果，就产生了具有挑战性的问题，其中包括：双方应多久沟通一次；机器可以准确地检测，推断和预测哪些信息；人类对外来事件的反应如何；如何提高人机内部连接的可靠性？这种HMI模型引起了新的，非标准的优化问题，这些问题将自适应随机控制，随机差分博弈，最优停止，多尺度和学习结合在一起。演讲8
　　演讲时间：2021年1月7日，星期四，下午2:15-3:05
　　演讲主题：Khovanov同调和4维流形曲面
　　演讲者：Ciprian Manolescu西普里安·曼诺莱斯库，罗马尼亚裔美国数学家，斯坦福大学的数学教授，从事规范场理论，辛几何和低维拓扑的研究。 他之前解决了三角剖分猜想（拓扑学的著名猜想，即所有流形都可以被分割成若干个三角子块），继陶哲轩、佩雷尔曼、吴宝珠以后又一个做出大成绩的奥数金牌得主。他是国际奥数唯一一个得过三次满分的人。
　　演讲内容简介：在过去的40年中，四维拓扑的大多数进展都来自规范场理论和相关的不变量。Khovanov同调是不同三维节的不变量：其构造是组合性的，并与表示论的思想联系在一起。有希望它可以告诉我们更多关于光滑4流形的信息；例如，弗里德曼（Freedman），冈普夫（Gompf），莫里森（Morrison）和沃克（Walker）提出了一种策略，可以利用Khovanov同调的不变量来反证4维庞加莱猜想。尚不清楚他们的策略是否行得通，我将解释它的一些挑战。我还将回顾Khovanov同调的其他拓扑应用，涉及4流形中平滑嵌入的表面。
　　演讲9
　　演讲时间：2021年1月7日，星期四，下午3:20至4:10
　　演讲主题：非线性色散方程流下随机性的传播
　　演讲者：Andrea Nahmod安德烈·纳赫莫德，马萨诸塞大学阿默斯特分校。 她以非线性偏微分方程和非线性分析的其他领域的工作而闻名。
　　演讲内容简介：在过去的几十年中，具有随机性的偏微分方程（PDE）的研究已成为重要且有影响力的主题。在本次演讲中，我们将重点放在具有随机初始数据的非线性色散方程解的时间动力学上。众所周知，在许多情况下，随机化可改善PDE解的行为：潜在的关键困难在于了解在非线性PDE的作用下随机性如何传播。在这种情况下，从J. Bourgain关于NLS非线性薛定谔方程的Gibbs测度不变性的开创性工作的概述开始，我们描述了提供更深刻见解的新方法。我们特别讨论了随机张量理论，这是我们与Yu Deng，Haitian Yue共同开发的一个强大的新框架，这使我们能够阐明随机数据的传播超出随机数据的线性演化，并探究存在于高频/精细尺度下的潜在随机结构。这使我们能够在相对于概率标度的最佳范围内显示NLS非线性薛定谔方程解的存在性和唯一性。我们发现该解决方案的一个美丽特征是，它对具有自适应随机张量系数的多线性高斯的显式扩展。
　　我们以一些未来的方向和未解决的问题作为结束。演讲10
　　演讲时间：2021年1月7日，星期四，下午5:00至5:50
　　演讲主题：利用HBCU传统黑人大学的数据科学促进创新
　　演讲者：Talitha Washington塔利莎·华盛顿，霍华德大学数学学者，专门研究应用数学和STEM教育政策。 她在2018年黑人历史月获得数学天赋黑人奖。
　　演讲内容简介：有了大量的数据，将需要新的技能来为学生准备尚不存在的工作。随着我们开发新的数据科学工具和平台，需要进行创新研究以推进数据科学领域。从历史上看，黑人大学（HBCU）拥有独特的机会来开发新颖的方法来解决伦理学和与数据科学研究相关的偏见问题。由于数学是数据科学的基石，因此本演讲将分享HBCU数据科学的最新进展以及政策是如何鼓励数据科学创新生态系统的发展的。2021年1月8日，星期五，演讲11~演讲21演讲11
　　演讲时间：2021年1月8日，星期五，上午9:00至9:50
　　演讲主题：乘性组合数学中的模型理论驯服
　　演讲者：Gabriel Conant，剑桥大学。主要研究领域模型论、群论、组合学。
　　演讲内容简介：在组合学中，＂逆定理＂是一个结果，它证明了具有近似结构的数学对象接近于完美结构化的对象。一个著名的例子是由Breuillard, Green和陶哲轩建立的近似子群的结构定理，而它们建立在Hrushovski赫鲁斯托夫斯基的工作上。
　　这次演讲是关于模型-理论驯服的相关结果。例如，马丁·皮萨罗（Martin-Pizarro），帕拉金（Palacin）和沃尔夫（Wolf）表明，在局部稳定性假设下，一个有限近似子群可以通过一个有限子群的有限个陪集来近似，误差最多为E>0。他们的证明将局部稳定性理论与由C.，Pillay和Terry建立的有限群的稳定算术正则引理结合在一起，但给出了无效的边界。我将首先讨论该结果的新证明，该证明得出边界是1 / E的多项式。这也提供了对任意有限群的稳定算术正则性的第一个定量说明，并改善了阿贝尔情况下先前的指数边界（根据Terry和Wolf）。然后，我将描述与Pillay合作的有界VC维（Vapnik-Chervonenkis dimension）设定中的类似定性结果，这是由之前有关NIP算术正则性的工作所启发的。演讲12
　　演讲时间：2021年1月8日，星期五，上午9:00至9:50
　　演讲主题：2020年总统选举的异常检测
　　演讲者：Stephanie Singer斯蒂芬妮·辛格，波特兰州立大学Hatfield政府学院，她为私人企业，公共机构，竞选活动和选举监督等收集、分析和解释数据。
　　演讲内容简介：选举制度是至关重要的基础设施，保护选举是国家安全的一部分。投票权和知道获胜者是否合法的权利是美国民主的基础。本演讲将介绍选举数据生态系统以及整合数据的实践挑战。我们将以2020年美国大选为例，讨论使用异常检测保护选举完整性的最新创新举措。
　　演讲13
　　演讲时间：2021年1月8日，星期五，上午10:00至10:50
　　演讲主题：了解可计算性理论中优先权论证的框架
　　演讲者：Barbara F. Csima，滑铁卢大学纯粹数学系教授
　　演讲内容简介：优先级参数是可计算性理论中常用的证明技术。一个定理被分解为等同于一系列需满足的条件。这些条件被赋予优先级顺序，从而可设计一种策略利用它们来满足所有要求。
　　那些了解可计算性理论家的人都知道我们喜欢我们的优先级参数！在本次演讲中，我们将讨论可计算性理论为何如此适用于这种证明技术，并在较高水平上讨论优先级参数使用的策略类型。
　　一个刚了解优先级参数的人会问，我们是否可以省去自己的重复工作，并为此建立一个框架？在本次演讲中，我们将在更高水平上再次讨论现有的优先级参数框架，特别关注Ash的α系统和Montalban的 ν系统。我们讨论了框架的工作原理，功能及其局限性。演讲14
　　演讲时间：2021年1月8日，星期五，上午10:05至10:55
　　演讲主题：哈密顿-雅可比方程的过去和现在
　　演讲者：Ryan Hynd瑞恩·海因德，宾夕法尼亚大学数学副教授
　　演讲内容简介：大约两个世纪前，威廉·罗恩·汉密尔顿（William Rowan Hamilton）观察到经典力学中的运动方程可以通过找到某个积分的驻点（平稳点、稳定点或临界点）来得出。另外，他确定了积分本身满足的方程，现在称为汉密尔顿-雅可比方程（Hamilton-Jacobi equation，HJE）。后来，科学家们克服了理解怎样调节机器，控制航天器和优化货物生产的挑战，这些想法得到了进一步的扩展。近年来，数学家在发展以汉密尔顿-雅各比方程为主要特征的控制理论方面取得了巨大进步。今天，我们将讨论该理论的重点，一些应用和一些有趣的理论问题。
　　演讲15
　　演讲时间：2021年1月8日，星期五，上午11:10-中午12:00
　　演讲主题：从野生生物到人类的病毒性人畜共患传染病建模
　　演讲者：Linda J. S. Allen琳达·J·S·艾伦， 德州理工大学数理统计系荣誉退休教授
　　演讲内容简介：人畜共患病是从动物传播给人类的传染病。据估计，超过60％的人类传染病是人畜共患病。病毒病原体占新出现和重新出现的传染病的很大一部分，包括冠状病毒，埃博拉病毒和正汉他病毒。从动物到人的感染溢出取决于复杂的传播途径，该途径包括自然野生动物储存库，有时还包括向人传播之前的中间宿主。SARS和MERS冠状病毒和埃博拉病毒的天然储存库是蝙蝠，而正汉他病毒的天然储存库是啮齿动物（大鼠，田鼠，小鼠）。在本演讲中，我们将讨论一些建模工作，以更好地了解自然储存库中感染的扩散以及对人类的溢出。 讨论人口和季节性变化对病毒溢出时间的影响，以及预防和控制人畜共患传染病的公共卫生干预措施。
　　演讲16
　　演讲时间：2021年1月8日，星期五，下午1:00
　　演讲主题：COVID-19大流行动力学和控制的数学
　　演讲者：Abba Gumel，亚利桑那州立大学
　　演讲内容简介：2019年12月出现的新型冠状病毒（COVID-19）始于武汉市，原因不明的肺炎暴发，已成为人类自1918年流感大流行以来面对的最重要的公共卫生和社会经济挑战。 在出现后的几周内，高度传染性和致命性的COVID-19大流行蔓延到了世界几乎每个地方，到目前为止，除了在全球范围内造成了沉重的经济负担之外，还确认了近3000万例确诊病例和90万例死亡。 在本次演讲中，我将讨论我们对COVID-19的传播和控制进行建模的工作。 我希望说服您，尽管它在全球范围内散播着巨大的公共卫生和社会经济灾难，但COVID-19就像其冠状病毒表亲（SARS和MERS）一样，是一种使用基本的公共卫生干预措施即可控制的呼吸道疾病。演讲17
　　演讲时间：2021年1月8日，星期五，下午1：00 -1：50
　　演讲主题：有界几何群
　　演讲者：Christian Rosendal克里斯汀·罗森达尔，伊利诺伊州大学芝加哥分校
　　演讲内容简介：有界几何的拓扑群，尤其是波兰群，形成了近乎完美的对局部紧的第二可数群的几何概括。在最近发展的用于一般拓扑群的几何群论框架中，我们将提供有关波兰群这个特定子类的许多结果，尤其是粗嵌入、等价性和拓扑耦合。演讲18
　　演讲时间：2021年1月8日，星期五，下午2:00至2:50
　　演讲主题：不可度量的全局最小流UMF
　　演讲者：Dana Bartosova达纳·巴尔托索娃，佛罗里达大学
　　演讲内容简介：对于拓扑群G，在紧Hausdorff空间上的连续作用称为G-流。如果每个轨道都密集，则G流最小。所有最小G流都是全局最小G流的商，并且在流的同构意义下是唯一的。由于与有限组合学的联系，无穷维群的全局最小流UMF在过去15年中受到了广泛的关注。另一方面，局部紧、非紧的群具有不可度量的全局最小流UMF，这意味着有限组合学原理的失败。但是，还有其他方法可用于局部紧群，在研究离散群及其乘积时，我们会遇到与集合论相关的有趣联系。这部分是与Aleksandra Kwiatkowska共同完成的。演讲19
　　演讲时间：2021年1月8日，星期五，下午2:00
　　演讲主题：Shtuka的excursion算子（Shtuka，俄语含义是＂东西＂，即一种有限域上Frobenius线性自同态的模，zzllrr小乐注）
　　演讲者：Ana Caraiani安娜·卡莱阿尼，伦敦帝国理工学院
　　演讲内容简介：朗兰兹纲领是一个复杂的猜想网络，它将数论与纯数学的其他领域甚至理论物理学的各个部分联系起来。这些猜想在我们理解整体域（例如有理数域或有限域曲线的有理函数域）的算术中起着根本作用。
　　文森特·拉夫福格（Vincent Lafforgue）在函数域的整体朗兰兹纲领中取得了重大突破：他给出了＂自同构到伽罗瓦＂方向的朗兰兹对应的一般构造，将自同构方面Hecke算子附加的谱数据与函数域的绝对伽罗瓦群表示联系起来。Lafforgue在自同构侧，构想了其他的对称性（称为excursion算子），并用其指向正确的伽罗瓦表示。我旨在解释所有这些含义，然后讨论一些令人兴奋的问题和该领域的最新进展。
　　演讲20
　　演讲时间：2021年1月8日，星期五，下午3:00
　　演讲主题：掌握康威扭结
　　演讲者：Jennifer Hom詹妮弗·霍姆，佐治亚理工学院
　　演讲内容简介：一个扭结何时绑住圆盘？在三维，能绑住平滑嵌入式圆盘的唯一扭结是unknot无结（平凡结，一个无扭结的圈）。但是，如果考虑四维球，答案将变得更加困难。
　　如果一个扭结能捆住四维球中的光滑圆盘，则称为切片。50年来，一直搞不清楚有11个交叉的结（称为康威结）是否为切片，直到最近，在数千个少于13个交叉的结中，它是唯一的切片状态仍是谜的结。在本次演讲中，我们将描述Lisa Piccirillo关于康威结不是切片的证明。本演讲的主题中给出了她证明中的主要思想。演讲21
　　演讲时间：2021年1月8日，星期五，下午4:00
　　演讲主题：矩形，曲线和克莱因瓶
　　演讲者：Richard Evan Schwartz理查德·埃文·施瓦兹，布朗大学
　　演讲内容简介：矩形桩问题是托普利茨Toeplitz著名的正方桩问题的一个变体，该问题可以追溯到1911年，询问是否每个连续圈都包含一个内切正方形，即形成正方形顶点的4个点。长期以来，人们一直知道正方桩问题适用于光滑或多边形的环，并且无法解决野生分形曲线的问题，这使人们无法入睡。
　　人们可以做出更大胆的猜测：每个连续环都包含一个内切的有各种可能长宽比的矩形。尽管Cole Hugelmeyer在此方面取得了一些启发性的进步，但直到Greene和Lobb的最新工作为止，即使对于平滑圈，这也是未知的。
　　在本次演讲中，我将尽力说明Greene和Lobb的工作。他们的基本思想是用＂辛坐标＂看待这个问题，并通过外科手术式的构造，将问题简化为某种类型的克莱因瓶无法嵌入4维的陈述。这有点奇怪，因为著名的克莱因瓶确实具有4维嵌入。关键在于额外的约束使其不可能。2021年1月9日，星期六，演讲22~演讲27演讲22
　　演讲时间：2021年1月9日，星期六，上午9:00至9:50
　　演讲主题：偏微分方程离散化的保结构
　　演讲者：Douglas N. Arnold道格拉斯·阿诺德，明尼苏达州大学
　　演讲内容简介：许多最重要和最基本的PDE偏微分方程都与基础的几何和代数结构相关，例如椭圆复形及其同调性和霍奇理论。这些结构强烈地控制了方程的行为，例如它们的适定性。这样的方程式在许多应用中出现，包括电磁学，固体力学，流体力学和广义相对论在内，并且它们的精确数值解非常重要。但是，在许多情况下，找到精确的数值方法已被证明是困难或不可能的。在过去的十年中，已搞清楚，当离散化PDE进行数值计算时，必须将PDE基础结构保留在离散级别，以便获得收敛所需的稳定且一致的离散化。这种认识引起了保结构的离散化，这是微分方程离散化的一种方法，它使诸如几何，拓扑，同调代数，泛函分析和表示论等多种领域都依赖于数值分析。这种新观点导致了惊人的进步，产生了有效的新数值方法来解决以前不可行的问题。演讲23
　　演讲时间：2021年1月9日，星期六，上午9:00至9:50
　　演讲主题：描述组合学和分布式算法
　　演讲者：Anton Bernshteyn安东·伯斯泰因，佐治亚理工学院
　　演讲内容简介：描述组合学是在其他拓扑或测度论正则限制下对组合问题（例如图形着色）的研究。事实证明，描述组合学与分布式计算之间存在密切的关系，即计算机科学领域中的问题可以通过去中心化的处理器网络有效地解决。在本次演讲中，我将概述这种关系并展示一些应用。演讲24
　　演讲时间：2021年1月9日，星期六，上午10:00至10:50
　　演讲主题：有限结构的渐近和多维渐近类
　　演讲者：Charles Steinhorn查尔斯·斯坦因霍恩，瓦萨学院数学和统计学系
　　演讲内容简介：有限结构和可测结构的渐近类，是由D. Macpherson和演讲者引进的，以期开发出反映当代无限模型论主题的有限结构类的模型论。本演讲对该主题相关的工作进行了梳理，包括其他几个人的贡献，并介绍将这些概念推广到多维渐近类和广义可测结构的最新研究。这项最新工作是与Macpherson，S. Anscombe和D. Wolf合作的。
　　演讲25
　　演讲时间：2021年1月9日，星期六，下午1:00至1:50
　　演讲主题：来自非交换代数的邀请
　　演讲者：Chelsea Walton切尔西·沃尔顿，赖斯大学
　　演讲内容简介：本演讲将深入探讨非交换代数的奇妙世界，主要讨论对称性，表示和形变在数学领域的作用。演讲将融合经典成果，演讲者的研究贡献，在这个非常活跃的研究领域中的开放性问题和有趣的轶事。它将基于演讲者同名的调查文章，该文章发表在AWM Springer系列的2019 EDGE项目（The Enhancing Diversity in Graduate Education加强研究生教育的多样性）中。演讲26
　　演讲时间：2021年1月9日，星期六，下午1:00至1:50
　　演讲主题：具有不可计算结构的可计算结构理论
　　演讲者：Russell Miller罗素米勒，皇后学院和纽约市立大学研究生中心
　　演讲内容简介：从一开始，可计算模型理论就使用可计算结构的概念： ω域的结构，其函数和关系都可以由图灵机计算。这一概念使逻辑学家可以将注意力集中在这些结构各个方面的复杂性上，它们之间的新关系，它们之间的同构性，用一种结构对另一种结构解释，而不会因该结构中的复杂性分心受干扰。
　　我们描述了另一种方法：通过哥德尔编码将结构的原子图视为oracle（先知，神谕）。即使结构本身不是可计算的，然后人们也可以问一问，用具有这种先知的图灵函数可以计算哪些方面。从表面上看，这似乎不太可能产生与使用传统可计算结构截然不同的结果。但是，令人惊讶的是，当以这种方式考虑不可计算结构的先知时，在传统方法下非常复杂的许多属性变得更加易于处理。可以这么说，不可计算结构的存在使生活更轻松！由于许多研究人员的出现，我们将提供一些有关此现象的示例，以便即使在此领域没有背景的逻辑学家也可以使用。演讲27
　　演讲时间：2021年1月9日，星期六，下午3：00-3：50
　　演讲主题：借助数学建模将癌症发现转化为有效的治疗方法
　　演讲者：Trachette Jackson特拉切特·杰克逊，密歇根大学
　　演讲内容简介：在数学肿瘤学的跨学科领域工作是一个激动人心的时刻。甚至《时代》杂志也同意：＂基于团队、跨学科的癌症研究方法正在颠覆传统，并更快地出成果。＂ 数学和计算建模方法已被应用于癌症生物学的各个方面：从肿瘤起始到恶性扩散和治疗反应。旨在改善癌症治疗效果的大量研究现在聚焦在单个肿瘤的分子生物学上，以试图有针对性地靶向与肿瘤发展有关的路径。对引发癌症发病机理的分子机制越来越多的了解，导致了这些靶向操纵路径以及新的定位具体细胞治疗癌症方法的发展。
　　本演讲将重点介绍一组数学模型，这些模型旨在优化目标药物治疗策略的使用（单独使用或与传统化疗结合使用），以解决与目标癌症治疗方法相关的重大挑战。这些数学模型与现有和新生成的实验数据相结合，有望提高结合有前途的药物用于临床试验的能力。这种跨学科的科学可以减少将新型治疗方法从＂方程到实验台到临床＂转变的时间和成本。