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

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

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.