Support for the 2010 Federated Logic Conference

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

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.