Student Support for the 2018 Federated Logic Conference

该奖项支持35名美国学生参加将于2018年7月在英国牛津举行的第七届联邦逻辑会议(Floc 18)。联邦逻辑会议是一项大型活动，汇集了形式方法领域的九个主要国际会议和大约80个卫星讲习班。虽然参加的会议通常是由当地会议组织每年单独举行一次，但他们都同意每四年举行一次联合和联合活动。提高计算系统的安全性、保密性、可用性和可靠性被广泛认为是计算研究界面临的重大挑战之一。正式方法已成为实现这一目标的主要方法之一。联合会议提供了一个机会，通过以正式方法在不同研究方向之间的协同作用来加速研究。对于研究生来说，参加这个领域主题如此多样的大型国际会议是一次具有成长性的经历，使他们能够在研究生涯早期建立国际合作关系。参加Floc有助于确保未来几代美国科学家和工程师在职业生涯早期获得专业的国际研究经验。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

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.