International Conference on Computability, Complexity, and Randomness

该奖项支持来自美国的研究生、博士后和初级教师参加2018年12月17日至21日在智利圣地亚哥安德烈斯·贝洛大学举行的关于可计算性、复杂性和随机性的国际会议(CCR 2018)。这次会议是以可计算性、复杂性和随机性(CCR)为主题的一系列会议中的第13次，这些会议处理数学和计算机科学之间的问题，其中随机性的概念发挥着核心作用。虽然随机性在概率论中是一个原始的概念，但这本身并不能帮助确定对于给定的应用而言，单个数学对象何时可以被认为是随机的。理解应用程序对单个随机输入的行为也无济于事。此外，人们可能需要相对于不同计算模型的随机性概念，并可能考虑灰度级中的随机性，直到反随机性的概念。另一个主要问题是如何定义或构造随机对象的显式实例。这些问题涉及经典可计算性理论、计算复杂性理论、概率论、信息论和动力系统理论。本次CCR会议将继续传播该领域迅速发展的专业知识，并促进新的合作。CCR 2018将在安德烈斯·贝洛大学数学系举行，该学院与智利大学国际公认的数学建模中心(CMM)有关联。CCR 2018由符号逻辑协会主办。关于更多信息，访问http://www.mat-unab.cl/~ccr2018/This奖反映了国家科学基金会的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This award supports participation of graduate students, postdocs and junior faculty from the US in the International Conference on Computability, Complexity and Randomness (CCR 2018) 17-21 December, 2018, Universidad Andres Bello, Santiago de Chile. This conference is the 13th in a series of conferences run as Computability, Complexity and Randomness (CCR), which deal with problems at the interface of mathematics and computer science where the notion of randomness plays a central role. Although randomness is a primitive notion in probability theory, this alone does not help to determine when an individual mathematical object can be considered as random for a given application. It does not help either to understand how applications will behave on individual random inputs. Also one may require the notion of randomness relative to different models of computation, and possibly consider randomness in a grey scale down to notions of anti-randomness. Another main question is how to define, and perhaps construct, explicit instances of random objects. These problems meet at classical computability theory, computational complexity theory, probability theory, information theory and the theory of dynamical systems.This CCR conference will continue to disseminate the expertise that has been rapidly developing in the area and foster new collaborations. CCR 2018 will be held at the Mathematics Department of Universidad Andres Bello, which is associated to the internationally recognized Center for Mathematical Modeling (CMM) of the University of Chile. CCR 2018 is sponsored by the Association for Symbolic Logic. For further information, visit http://www.mat-unab.cl/~ccr2018/This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.