Student Support for the 2014 Federated Logic Conference

该奖项支持50名美国学生参加第六届联邦逻辑会议(Floc 14)，该会议将于2014年7月在奥地利维也纳举行，作为维也纳逻辑之夏(VSL 14)的一部分。联邦逻辑会议汇集了形式方法领域的十个主要国际会议和大约75个卫星讲习班。虽然参加的会议通常是由当地的会议组织每年单独举行一次，但他们都同意每三到四年举行一次联合和联合活动。增强计算系统的安全性、隐私、可用性和可靠性被广泛认为是计算研究界面临的重大挑战之一。正式方法已成为实现这一目标的主要方法之一。联合会议提供了一个机会，通过以正式方法在不同研究方向之间的协同作用来加速研究。对于年轻的研究人员来说，这也是一个绝佳的培训机会，因为它为他们提供了整个地区的宏伟景色。

The award supports the attendance of fifty US-based students to attend the sixth Federated Logic Conference (FLoC 14) which will be held in Vienna, Austria, in July 2014, as part of the Vienna Summer of Logic (VSL 14). The federated logic conference is an event which brings together ten major international conferences in the area of Formal Methods, and around 75 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 three-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. It is also an outstanding training opportunity for young researchers, as it offers them a grand view of the whole area.