FMCAD学生论坛的截止日期是扩展。新的截止日期是2015年7月9日!!
FMCAD 2015,第十五届理论与实践大会形式化方法在硬件和系统中的应用验证,将承载
第三届FMCAD学生论坛(2015年9月28日至30日)
为任何职业的研究生提供平台阶段将他们的研究引入更广泛的形式化方法社区。
重要日期
提交截止日期:2015年7月9日验收通知:2015年7月19日论坛日期:2015年9月28日至30日
网站
有关详细信息,请参阅
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/student-forum.shtml
提交文件
活动的提交必须是简短的报告,描述学生目前正在进行的研究想法或正在进行的工作,并且必须在FMCAD的范围内。工作,其中一部分已经将考虑之前发布的;新奇的一面在这种情况下,必须清楚地描述未来工作中要解决的问题。全部提交的文件将由一组选定的计划委员会审查成员。
该活动将由学生的简短陈述组成每一份被接受的投稿的作者,以及一张海报的作者将在整个会议。将列出接受的提交文件,并附有标题和作者姓名,在会议的事件描述中诉讼程序。作者还可以选择将海报和演示上传至FMCAD网站。最佳贡献(由委员会确定提交和演示的质量)将在活动中获得公众认可和证书。
有限的资金将用于接受捐款的美国学生。
我们恳请教员帮助我们宣传活动通过在中显示网页上的海报他们的部门。
如果您有问题,请联系论坛主席Georg Weissenbacher(奥地利维也纳科技大学)。