Conference: Workshop for Rigorous and Reproducible Scientific Reasoning

会议：严谨且可重复的科学推理研讨会

• 批准号: 2336329
• 负责人: Sriram Sankaranarayanan
• 金额: $ 9.21万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-10-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2336329&HistoricalAwards=false
• 关键词: Conference; Workshop; Rigorous; Reproducible; Scientific

The workshop explores a rigorous and reproducible approach to the specification, analysis, and validation of scientific workflows by assembling diverse scientists from scientific disciplines such as biology, physics and climate science, along with researchers from formal methods focusing on logic, theorem proving and constraint solving. Fundamental scientific breakthroughs are key to human advancement in diverse areas including agriculture, vaccines, climate prediction and next-generation computers. At the same time, science increasingly relies on enormous volumes of data that are processed through software to provide evidence supporting scientific conclusions. Failure to maintain the highest levels of scientific rigor and reproducibility can lead to a lot of confusion and wasted resources. Above all, this can lead to loss of trust in science and scientists among the public, when this is crucial for making informed policies. The recent spate of high-profile retractions suggests that the process of ensuring rigor and reproducibility is failing to keep pace with the volume of new scientific research. Formal methods, as an area, has successfully tackled the problems of specification and verification in areas including hardware, software, and cyber-physical systems. The workshop, to be held in-person in Boulder, CO, will enable robust conversations to help formal methods experts understand the nature of scientific research workflows while simultaneously exposing scientists to ideas from formal specification, modeling, and verification. In addition, the workshop will include editors from major journals in these areas and participants from government, as they are critical part in the chain of scientific endeavor. The workshop’s novelties include a first of its kind meeting between scientists, formal methods experts, and other stakeholders in a bid to spark new ideas and collaborations between participants that address the issue of rigor and reproducibility for scientific workflows. The workshop’s impacts include new ideas that could revolutionize how scientists present the entire scientific workflow from data gathering to the final conclusions in a way that is easy to verify and reproduce. The workshop is an important step towards ensuring that the scientific discoveries of the future are clearly rigorous in a manner that is easy to comprehend, validate and reproduce independently. This will benefit the scientific community and society by building confidence in our basic scientific research. The workshop celebrates diversity in science by involving people from many different backgrounds including under-represented groups in the conversation to shape the future of the scientific research methodology.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.

该研讨会汇集了来自生物学、物理学和气候科学等科学学科的不同科学家，以及来自专注于逻辑、定理证明和约束求解的形式方法的研究人员，探讨了科学工作流程的规范、分析和验证的严格且可重复的方法基础科学突破是人类在农业、疫苗、气候预测和下一代计算机等领域取得进步的关键。与此同时，科学越来越依赖于通过软件处理的大量数据来提供支持科学结论的证据。到保持最高水平的科学严谨性和可重复性可能会导致大量混乱和资源浪费，最重要的是，这可能导致公众对科学和科学家失去信任，而这对于制定明智的政策至关重要。大量的高调撤稿表明，确保严谨性和可重复性的过程未能跟上新科学研究的数量，作为一个领域，形式化方法已经成功地解决了硬件、软件、软件等领域的规范和验证问题。和该研讨会将在科罗拉多州博尔德举行，将进行深入的对话，帮助正式方法专家了解科学研究工作流程的本质，同时让科学家了解正式规范、建模和验证中的想法，以帮助他们理解。此外，研讨会还将包括来自这些领域的主要期刊的编辑和来自政府的参与者，因为他们是科学努力链中的关键部分。研讨会的新颖之处包括科学家、正式方法专家和专家之间的首次此类会议。其他利益相关者以激发新想法和参与者之间的合作解决了科学工作流程的严谨性和可重复性问题，研讨会的影响包括新的想法，这些新想法可能会彻底改变科学家以易于验证和重复的方式呈现从数据收集到最终结论的整个科学工作流程的方式。未来的科学发现将以易于理解、确保、验证和独立重现的方式明显严谨，这将通过建立对我们的基础科学研究的信心来造福科学界和社会。通过参与科学来自许多不同背景的人们，包括代表性不足的群体，参与对话，共同塑造科学研究方法的未来。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。