FMCAD 2020将举行联机.这些文章将像往常一样被审查和出版。
预先录制的视频演示文稿可在FMCAD’20 YouTube频道.
登记处现已打开。
现在可以通过导航栏中的链接访问该程序。所有时间都是CEST。
2020年9月21日至24日。
FMCAD教程日：
2020年9月21日
常规计划：
2020年9月22日至9月24日
椅子：
重要日期
由于我们都处于冠脉相关状态，和多个请求，我们将所有截止日期推迟一个月。
摘要提交：
2020年5月9日
论文提交：
2020年5月16日
作者回复：
2020年6月24日至27日
2020年6月26日至29日
作者通知：
2020年7月2日
2020年7月4日
摄像头就绪版本：
2020年8月16日
提前注册：
2020年8月31日
所有截止日期为11:59 pm AoE（地球上任何地方）
学生论坛
延续前几年的传统，FMCAD 2020正在举办为研究生提供平台的学生论坛职业生涯阶段，将他们的研究介绍给更广泛的正式方法社区，并征求反馈。
关于FMCAD
FMCAD 2020是关于硬件和系统验证中形式化方法的理论和应用的系列会议中的第二十次会议。FMCAD为学术界和工业界的研究人员提供了一个领先的论坛，用于展示和讨论有关计算系统的开创性方法、技术、理论结果和正式推理工具。FMCAD涵盖计算机辅助系统设计的正式方面，包括验证、规范、合成和测试。
FMCAD首次于1996年举行，直到2006年，FMCAD和CHARME会议合并为一个年度会议。合并前，FMCAD在美国举行年，其姊妹会议CHARME于年在欧洲举行奇数年。自2006年以来，FMCAD会议每年在各种国际场馆。
