Student Travel funding for Logic Mentoring Workshop (LMW) at (LICS) 2016

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

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

This grant will enable students to attend the Logic Mentoring Workshop (LMW 2016) which will be co-located with the ACM/IEEE Symposium on Logic in Computer Science, in New York City (USA), July 2016. The Logic in Computer Science (LICS) is the flagship conference in logic and semantics, and one of the premier conferences in all of computer science. The purpose of the workshop is to encourage undergraduate students, women, and underrepresented minorities to pursue and thrive in research careers both in logic/semantics specifically and in computer science generally. Funded students will benefit greatly from the opportunity to engage in the critical technical, professional, and social exchanges that both conferences foster.This award provides full or partial support for approximately 8 students to attend the mentoring workshop and the main conference. 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. During distribution of the travel funds, preference will be given to applicants who are women or underrepresented minorities.

这笔赠款将使学生能够参加逻辑指导研讨会(LMW 2016)，该研讨会将于2016年7月在美国纽约市与ACM/IEEE计算机科学中的逻辑研讨会同时举行。计算机科学中的逻辑(LICS)是逻辑和语义学的旗舰会议，也是所有计算机科学中最重要的会议之一。研讨会的目的是鼓励本科生、女性和代表性不足的少数族裔在逻辑/语义学和一般计算机科学的研究生涯中追求并蓬勃发展。获得资助的学生将从参与这两个会议所促进的关键技术、专业和社会交流的机会中受益匪浅。该奖项为大约8名参加辅导研讨会和主要会议的学生提供全部或部分支持。受资助的学生将参加LICs，这是一个顶级会议，他们将在那里了解当前的研究问题并与该领域的领导者互动，以及LMW研讨会，该研讨会将侧重于针对旨在从事计算机辅助验证领域研究事业的早期研究生的指导和职业建议。在分配旅费期间，将优先考虑妇女或代表性不足的少数族裔的申请者。