Support for Federated Logic Conference

kavraki， lydiam Marsh Rice支持联邦逻辑会议1996年，作为逻辑和算法特别年的一部分，DIMACS主办了第一届联邦逻辑会议（FLoC）。它以成功的联邦计算机研究会议（FCRC）为蓝本，并协同地将应用形式化方法解决计算机科学问题的会议聚集在一起。第二届联邦逻辑会议（FLoC'99）于1999年7月在意大利特伦托举行，第三届联邦逻辑会议（FLoC'02）于2002年7月在丹麦哥本哈根举行。它包括七个主要会议和35个讲习班，吸引了大约900名与会者。第四届联邦逻辑会议将于2006年8月在华盛顿的西雅图举行。以下会议将参加FLoC'05：计算机辅助验证会议（CAV）国际逻辑编程会议（ICLP）国际自动推理联合会议（IJCAR）IEEE计算机科学逻辑研讨会（LICS）重写技术与应用会议（RTA）可满足性测试理论与应用国际会议（SAT）智力优点：联邦逻辑会议是所有主要会议的背对背事件正式方法领域的国际会议。虽然参与会议通常是由当地会议组织每年单独举行一次，但他们都同意每三四年举行一次联合会议。参加人数接近1000人，预计三分之一到一半的参与者是年轻的研究人员。广泛影响：增强计算系统的安全性、隐私性、可用性和可靠性被广泛认为是计算研究界面临的重大挑战之一。正式方法已经成为实现这一目标的主要方法之一。联合会议提供了通过形式方法中不同研究分支之间的协同作用来加速研究的机会。对于年轻的研究人员来说，这也是一个很好的培训机会，因为它可以让他们看到整个地区的全景。

ABSTRACT0629001Kavraki, LydiaWilliam Marsh Rice USupport for Federated Logic ConferenceIn 1996, as part of the Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply formal methods to computer-science problems. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in July 1999, and the third FederatedLogic Conference (FLoC'02) was held in Copenhagen, Denmark in July2002. It consisted of seven major conferences and 35 workshops, attracting about 900 participants. The fourth Federated Logic Conference, will be held in Seattle, Washington, in August 2006. The following conferences will participate in FLoC'05: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 ofSatisfiability Testing (SAT)Intellectual Merit:The federated logic conference is a back-to-back event of all the major international conferences in the area of Formal Methods. 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.Broad Impact: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.