Conference: Workshop for Rigorous and Reproducible Scientific Reasoning

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

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.