Support for Federated Logic Conference

支持联合逻辑会议

• 批准号: 0629001
• 负责人: Lydia Kavraki
• 金额: $ 2.5万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-07-01 至 2007-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0629001&HistoricalAwards=false
• 关键词: Support; Federated; Logic; Conference

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.

摘要0629001Kavraki、LydiaWilliam 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）智力优点：联邦逻辑会议是形式方法领域所有主要国际会议的背靠背活动。虽然参与会议通常由当地会议组织每年单独举行一次，但他们都同意每三四年举行一次联合和联合活动。参与者人数近千人，预计三分之一到二分之一的参与者是年轻研究人员。 广泛影响：增强计算系统的安全性、隐私性、可用性和可靠性被广泛认为是面临的重大挑战之一计算研究社区。形式化方法已成为实现该目标的主要方法之一。联合会议提供了通过形式方法中不同研究领域之间的协同作用来加速研究的机会。对于年轻研究人员来说，这也是一个绝佳的培训机会，因为它为他们提供了整个领域的宏伟视野。