Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference

会议：CISE：CCF：SHF：支持 2022 年联邦逻辑会议

• 批准号: 2223546
• 负责人: Moshe Vardi
• 金额: $ 5万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2223546&HistoricalAwards=false
• 关键词: Conference; CISE; CCF; SHF; Support

The award supports the attendance of 50 US-based students to attend the eighth Federated Logic Conference (FLoC 22) which will be held in Haifa, Israel, in August 2022. The federated logic conference is a large event which brings together nine major international conferences in the area of Formal Methods, and around 80 satellite workshops. While the participating conferences are normally held individually by their local conference organization on an annual basis, they all agree to this joint and federated event to be held every four years.Enhancing the security, privacy, usability, and reliability of computing systems is widely accepted as one the grand challenges facing the computing-research community. Formal Methods have emerged as one of the primary approaches towards that goal. A federated conference provides an opportunity for accelerating research via synergy between the different strands of research in Formal Methods. Attending a large international conference with such diverse topical themes within this domain is a formative experience for graduate students, enabling them to build international collaborative relationships early in their research careers. Attending FLoC helps ensure that future generations of US scientists and engineers gain professional international research experiences early in their careers.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.

该奖项支持50名美国学生参加将于2022年8月在以色列海法举行的第八届联邦逻辑会议（FLoC 22）。联邦逻辑会议是一个大型活动，汇集了形式化方法领域的9个主要国际会议，以及大约80个卫星研讨会。虽然参与会议通常是由当地会议组织每年单独举行一次，但他们都同意每四年举行一次联合会议。增强计算系统的安全性、隐私性、可用性和可靠性被广泛认为是计算研究界面临的重大挑战之一。正式方法已经成为实现这一目标的主要方法之一。联合会议提供了通过形式方法中不同研究分支之间的协同作用来加速研究的机会。参加这一领域内如此多样化的主题的大型国际会议对研究生来说是一种形成性的经历，使他们能够在他们的研究生涯早期建立国际合作关系。参加FLoC有助于确保未来几代美国科学家和工程师在职业生涯早期获得专业的国际研究经验。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。