Uncertainty in Computation

计算的不确定性

• 批准号: 1639627
• 负责人: Richard Karp
• 金额: $ 2万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2017-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1639627&HistoricalAwards=false
• 关键词: Uncertainty; Computation

The workshop on Uncertainty in Computation will be held at the Simons Institute for the Theory of Computing from October 4 to October 7, 2016. The workshop is part of a program on Logical Structures in Computation that will take place from August 14 to December 16, 2016. The underlying theme of the workshop is to explore the viewpoints of the fields of logic, analysis of algorithms, and computational complexity on uncertainty in computation. The broader significance and importance of the workshop is that it will enhance communication between the mathematical logic community and the community of algorithms researchers within computing science. The workshop will encourage students to attend, and the organizers will actively recruit scientists from a diversity of backgrounds.

计算中的不确定性研讨会将于2016年10月4日至10月7日在西蒙斯计算理论研究所举行。该研讨会是计算逻辑结构计划的一部分，将于2016年8月14日至12月16日举行。研讨会的主题是探讨逻辑、算法分析和计算复杂性领域对计算中不确定性的观点。研讨会的更广泛的意义和重要性在于，它将加强数学逻辑社区和计算科学中算法研究人员社区之间的沟通。研讨会将鼓励学生参加，组织者将积极招募来自不同背景的科学家。