Student Support for the 2014 Federated Logic Conference

2014 年联邦逻辑会议的学生支持

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

The award supports the attendance of fifty US-based students to attend the sixth Federated Logic Conference (FLoC 14) which will be held in Vienna, Austria, in July 2014, as part of the Vienna Summer of Logic (VSL 14). The federated logic conference is an event which brings together ten major international conferences in the area of Formal Methods, and around 75 satellite workshops. 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.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.

该奖项支持50名美国学生参加第六届联邦逻辑会议（FLoC 14），该会议将于2014年7月在奥地利维也纳举行，作为维也纳逻辑夏季（VSL 14）的一部分。联邦逻辑会议汇集了正式方法领域的10个主要国际会议，以及大约75个卫星研讨会。虽然参与会议通常是由当地会议组织每年单独举行一次，但他们都同意每三四年举行一次联合会议。增强计算系统的安全性、隐私性、可用性和可靠性被广泛认为是计算研究界面临的重大挑战之一。正式方法已经成为实现这一目标的主要方法之一。联合会议提供了通过形式方法中不同研究分支之间的协同作用来加速研究的机会。对于年轻的研究人员来说，这也是一个很好的培训机会，因为它可以让他们看到整个地区的全景。