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

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

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.