Student Travel Support for SAT/SMT/AR Summer School at IJCAR 2016

2016 年 IJCAR SAT/SMT/AR 暑期学校学生旅行支持

• 批准号: 1636493
• 负责人: Ruzica Piskac
• 金额: $ 3万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-05-01 至 2020-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1636493&HistoricalAwards=false
• 关键词: Student; Travel; Support; SAT; SMT

Formal methods have made significant advances during the last decade, and now form the backbone of formal assurance across hardware and software industries. Underlying many of these techniques is the capability to effectively reason about system properties, often by describing the properties as constraint satisfaction problems and delegating the reasoning to a constraint solver. Due to their practical effectiveness and robust scalability, the most common constraint reasoning engines in use today are satisfiability (modulo theories) solvers (SAT and SMT). This award will provide travel grants for US-based students to attend the SAT/SMT summer school to be held in Lisbon, Portugal, June 22-25 2016, preceding the 8th International Joint Conference on Automated Reasoning (IJCAR 2016).The SAT/SMT Summer School allows students to learn about the techniques underlying modern SAT and SMT solvers, and gives them a broad view of the field with many practical applications. Since the school is a separate event, in a less formal setting, the students have the opportunity to discuss the school topics (with lab assignments), discuss their own research ideas, and interact closely both with their peers and the leaders in the field. The summer school ignites the transfer and dissemination of knowledge that will lead to superior technology, better users, and exciting and far-reaching applications.

形式化方法在过去十年中取得了重大进展，现在形成了硬件和软件行业形式化保证的支柱。这些技术的基础是对系统属性进行有效推理的能力，通常是将属性描述为约束满足问题，并将推理委托给约束求解器。由于它们的实际有效性和健壮的可扩展性，目前使用的最常见的约束推理引擎是可满足性（模理论）求解器（SAT和SMT）。该奖学金将为参加2016年6月22日至25日在葡萄牙里斯本举行的SAT/SMT暑期学校的美国学生提供旅行资助，该暑期学校将在第八届国际自动推理联合会议（IJCAR 2016）之前举行。SAT/SMT暑期学校允许学生学习现代SAT和SMT解决方案的基本技术，并通过许多实际应用为他们提供广阔的视野。由于学校是一个独立的活动，在一个不太正式的环境中，学生们有机会讨论学校的主题（包括实验室作业），讨论他们自己的研究想法，并与同龄人和该领域的领导者密切互动。暑期学校点燃了知识的转移和传播，这将导致更先进的技术，更好的用户，以及令人兴奋和深远的应用。