Verification Mentoring Workshop

该资助将使学生能够参加验证指导研讨会（VMW 2015），该研讨会将与2015年7月19日至24日在旧金山举行的计算机辅助验证国际会议（CAV）同地举行。CAV是计算机科学领域的主要会议之一，致力于推进硬件和软件系统的计算机辅助形式分析方法的理论和实践。验证指导工作坊的目的是为早期阶段的研究生提供指导和职业建议，以吸引他们在计算机辅助验证领域从事研究工作。获得资助的学生将有机会参与这两个会议所促进的关键技术、专业和社会交流，从中受益匪浅。计算机辅助验证涵盖了广泛的应用，从确保计算机系统的正确性和安全性，到提高设计和开发生产力。获得资助的学生将参加CAV，这是一个顶级会议，在那里他们将了解当前的研究问题，并与该领域的领导者互动，VMW研讨会将重点关注指导和职业建议，特别是针对那些旨在追求计算机辅助验证领域研究事业的早期研究生。

This grant will enable students to attend the Verification Mentoring Workshop (VMW 2015) which will be co-located with the International Conference on Computer Aided Verification (CAV), to be held in San Francisco, July 19-24, 2015. CAV is one of the premier conferences in computer science, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The purpose of Verification 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. Funded students will benefit greatly from the opportunity to engage in the critical technical, professional, and social exchanges that both conferences foster. Computer-aided verification covers a broad range of applications, from ensuring the correctness and safety of computer systems, to improving design and development productivity. The funded students will attend CAV, a top conference where they will learn about current research problems and interact with leaders in the field, and the VMW 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.