Buenos Aires Semester in Computability, Complexity and Randomness

布宜诺斯艾利斯可计算性、复杂性和随机性学期

• 批准号: 1242444
• 负责人: Joseph Miller
• 金额: $ 4.5万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-01-15 至 2014-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1242444&HistoricalAwards=false
• 关键词: Buenos; Aires; Semester; Computability; Complexity

The Buenos Aires Semester in Computability, Complexity and Randomness will be an international gathering of Mathematicians and Computer Scientists from January to June 2013. It will be held at the Departamento de Computación, Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. We anticipate between eight and ten researchers will be in residence for the entire period, accompanied by a similar number of graduate students. We also expect shorter visits, of two to four weeks, by another eight to ten researchers. There will be an intense and sustained research effort in computability theory, randomness, computable structures and reverse mathematics. The semester will bring together many of the area's most active researchers over an extended interval, allowing for a level of collaboration that is not usually possible and the accelerated progress that arises from such continuous interaction. In addition to the research effort, there will be a focus on training graduate students and disseminating recent research. We will organize a graduate-level course on Combinatorics, Complexity and Logic taught by Ted Slaman; a topics seminar in which all of the long term participants, including the graduate students, will take turns presenting advanced material; a weekly seminar on individual research interests and related open problems; and a regional seminar that will feature South American logicians. The NSF funding will primarily be used to support the participation of junior US researchers: graduate students, postdoctoral fellows, and junior faculty.

布宜诺斯艾利斯可计算性，复杂性和随机性学期将于2013年1月至6月举行，是数学家和计算机科学家的国际聚会。会议将在布宜诺斯艾利斯大学精确科学与自然学院计算机系举行。我们预计，在整个期间，将有8到10名研究人员居住，并有类似数量的研究生陪同。我们还预计，另外8到10名研究人员的访问时间将缩短，为2到4周。在可计算性理论，随机性，可计算结构和逆向数学方面将有一个激烈和持续的研究工作。本学期将汇集该地区最活跃的研究人员在一个较长的时间间隔，允许的合作水平，这是通常不可能的，并从这种持续的互动所产生的加速进展。除了研究工作外，还将侧重于培训研究生和传播最新研究成果。我们将组织一个研究生水平的课程组合学，复杂性和逻辑由特德·斯拉曼教授;专题研讨会，其中所有的长期参与者，包括研究生，将轮流提出先进的材料;每周研讨会上的个人研究兴趣和相关的开放问题;和一个区域研讨会，将具有南美逻辑学家。NSF的资金将主要用于支持美国初级研究人员的参与：研究生，博士后研究员和初级教师。