Student Support for the 2018 Federated Logic Conference

2018 年联邦逻辑会议的学生支持

• 批准号: 1824944
• 负责人: Moshe Vardi
• 金额: $ 3.5万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-05-01 至 2019-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1824944&HistoricalAwards=false
• 关键词: Student; Support; 2018; Federated; Logic

The award supports the attendance of 35 US-based students to attend the seventh Federated Logic Conference (FLoC 18) which will be held in Oxford, United Kingdom, in July 2018. 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.

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