FMCAD 2015 Student Forum

2015年计算机辅助设计中的形式方法(FMCAD)是关于硬件和系统验证中形式方法的理论和应用的系列会议中的第15个。它为学术界和工业界的研究人员提供了一个领先的论坛，用于展示和讨论关于计算系统的突破性方法、技术、理论结果和工具。这笔赠款将帮助最多10名在美国院校注册的学生参加2015年9月27日至30日在得克萨斯州奥斯汀举行的FMCAD会议。学生将有机会在学生论坛上发表演讲，这是一个让处于任何职业阶段的研究生向更广泛的正式方法社区介绍他们的研究并征求反馈的平台。无论是在学术研究中还是在工业系统中，形式方法都正在迅速地应用于各种领域。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验来建设一支具有全球意识的劳动力队伍。特别是，学生将有机会在学生论坛上发言，学习最先进的方法，接触新技术，并与其专业领域的高级研究人员互动。主办方将优先考虑来自代表性不足群体和没有正式方法计划的小型大学的学生。

Formal Methods in Computer Aided Design (FMCAD) 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. It provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. This grant will help support conference travel for up to 10 students enrolled in US institutions to attend FMCAD in Austin, Texas, September 27-30th 2015. The students will get the opportunity to present at the Student Forum, which is a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. Formal methods is being rapidly deployed in a variety of areas both in academic research as well as in industrial systems. Thus the broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to present at the Student Forum, learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise. The organizers will give priority to students from under-represented groups and from small universities without a formal methods program.