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名美国学生参加的参加第七届联邦逻辑会议（FLOC 18），该会议将于2018年7月在英国牛津举行。联邦逻辑会议是一项大型活动，汇集了在正式方法领域的9个主要国际会议，约有80个卫星工作室。虽然参加会议通常由其本地会议组织每年单独举行，但他们都同意每四年举行一次联合和联合活动。增强计算系统的安全性，隐私，可用性和可靠性被广泛认为是计算研究社区面临的巨大挑战之一。正式方法已成为实现该目标的主要方法之一。联邦会议为通过正式方法的不同研究之间的协同作用提供了一个机会，可以通过协同作用加速研究。参加该领域的大型国际会议具有如此多样化的主题主题是研究生的形成经验，使他们能够在研究生涯的早期建立国际协作关系。参加FLOC有助于确保美国科学家和工程师在职业生涯的早期获得专业的国际研究经验。该奖项反映了NSF的法定使命，并使用基金会的知识分子优点和更广泛的审查标准，认为值得通过评估来获得支持。