Support for the 2010 Federated Logic Conference

支持 2010 年联邦逻辑会议

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

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.

支持联合逻辑会议联合逻辑会议（FLOC）的支持是正式方法领域所有主要国际会议的背靠背事件。其中包括：计算机辅助验证会议（CAV）国际逻辑编程会议（ICLP）国际国际自动推理联合会议（IJCAR）IEEE计算机科学逻辑研讨会（LICS）会议（LIC）会议（LIC）会议（LIC）会议（LIC）会议（LICS）关于重写技术和应用程序（RTA）国际依赖于本地委员会在本地委员会（SAT）的协议（SAT）的同时，同时在本地会议上进行了会议（SAT），该会议正常地持有本机构，同时在本机构中持有正式的会议，同时召开了正式的会议。和联邦活动每三年举行一次。参与者的人数接近一千，而参与者中有三到一半是年轻的研究人员。为了确保美国的学生能够参加，该赠款提供了旅行支持。 联合逻辑会议汇集了以下正式方法中的重大事件，从理论到计算机科学和软件工程中的应用。通过CISE董事会的计算机科学理论和软件科学/工程计划以及国会议员董事会的数学科学部门的合作提供了支持。 对这些基本主题的支持对于增强许多领域的研究非常重要，包括计算系统的安全性，隐私，可用性和可靠性。正式方法已成为实现该目标的主要方法之一。联邦会议为通过正式方法的不同研究之间的协同作用提供了一个机会，可以通过协同作用加速研究。对于年轻的研究人员来说，这也是一个杰出的培训机会，因为它为他们提供了整个区域的宏伟景色。 NSF计算机与信息科学与工程以及数学和物理科学局合作提供了对该赠款的支持。