Support for the 2010 Federated Logic Conference

对联邦逻辑会议的支持联邦逻辑会议（FLoC）是形式化方法领域所有主要国际会议的背靠背事件。这些包括:计算机辅助验证会议（CAV）国际逻辑编程会议（ICLP）国际自动推理联合会议（IJCAR）IEEE计算机科学逻辑研讨会（LICS）重写技术与应用会议（RTA）可满足性测试理论与应用国际会议（SAT）虽然参加会议的会议通常是由当地会议组织每年单独举行一次，他们都同意每三四年举行一次联合活动。参加人数接近1000人，预计三分之一到一半的参与者是年轻的研究人员。为了确保美国学生能够参加，该补助金提供旅行支持。联邦逻辑会议汇集了形式化方法中的以下主要事件，从理论到计算机科学和软件工程中的应用。这些支持是通过CISE理事会的计算机科学理论和软件科学/工程项目以及MPS理事会的数学科学部门的合作提供的。对这些基础主题的支持对于加强许多领域的研究非常重要，包括计算系统的安全性、隐私性、可用性和可靠性。正式方法已经成为实现这一目标的主要方法之一。联合会议提供了通过形式方法中不同研究分支之间的协同作用来加速研究的机会。对于年轻的研究人员来说，这也是一个很好的培训机会，因为它可以让他们看到整个地区的全景。本基金由美国国家科学基金会计算机与信息科学与工程和数学与物理科学理事会共同提供支持。

Support for Federated Logic ConferenceThe Federated Logic Conference (FLoC)is a back-to-back event of all the major international conferences in the area of Formal Methods. These include: Conference on Computer-Aided Verification (CAV) International Conference on Logic Programming (ICLP)International Joint Conference on Automated Reasoning (IJCAR)IEEE Symposium on Logic in Computer Science (LICS)Conference on Rewriting Techniques and Applications (RTA)International Conference on Theory and Applications of Satisfiability Testing (SAT)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. The number of participants is near one thousand, and a third to one half of the participants are expected to be young researchers. To ensure that US-based students are able to attend, this grant provides travel support. The Federated Logic Conference brings together the following major events in Formal Methods, ranging from theory to applications in computer science and software engineering. The support is provided through cooperation of CISE directorate's computer science theory and software science/engineering programs, as well as the MPS directorate's mathematical sciences division. Support for these foundational topics is important to enhance research in many areas, including the security, privacy, usability, and reliability of computing systems. 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. Support for this grant is provided cooperatively from the NSF directorates of Computer & Information Science and Engineering and Mathematical and Physical Sciences.