Student Travel funding for 2017 Logic Mentoring Workshop (LMW) at (LICS); Reykjavik, Iceland; June, 2017

2017 年 (LICS) 逻辑指导研讨会 (LMW) 的学生旅费；

• 批准号: 1743546
• 负责人: Eric Koskinen
• 金额: $ 1.46万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-05-15 至 2018-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1743546&HistoricalAwards=false
• 关键词: Student; Travel; funding; 2017; Logic

This grant will enable students to attend the Logic Mentoring Workshop (LMW 2017) which will be co-located with the International ACM/IEEE Symposium on Logic in Computer Science (LICS) to be held in Reykjavik (Iceland), June 2017. LICS is one of the premier conferences in computer science, dedicated to the advancement of the logic and semantics. The purpose of Logic Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification. Attending a conference can be a transformative experience for young researchers. It exposes them to cutting-edge research and can help them make connections to other students and senior researchers in the area. The funded students will attend LICS, a top conference where they will learn about current research problems and interact with leaders in the field, and the LMW workshop which will focus on mentoring and career advice specific to early-stage graduate students who aim to pursue research careers in the area of computer-aided verification.

这项资助将使学生能够参加逻辑指导研讨会（LMW 2017），该研讨会将与2017年6月在冰岛雷克雅未克举行的国际ACM/IEEE计算机科学逻辑研讨会（LICS）同地举行。LICS是计算机科学领域的主要会议之一，致力于逻辑学和语义学的发展。逻辑指导工作坊的目的是为早期研究生提供指导和职业建议，以吸引他们在计算机辅助验证领域从事研究工作。参加会议对年轻的研究人员来说可能是一次变革性的经历。它让他们接触到前沿研究，并帮助他们与该领域的其他学生和高级研究人员建立联系。获得资助的学生将参加LICS，这是一个顶级会议，在那里他们将了解当前的研究问题，并与该领域的领导者互动，以及LMW研讨会，该研讨会将重点关注指导和职业建议，特别是针对那些旨在追求计算机辅助验证领域研究事业的早期研究生。