中的形式方法
计算机辅助设计
2019年10月22日至25日
美国加利福尼亚州圣何塞市圣何塞市中心凯悦酒店
FMCAD 2019将在美国加利福尼亚州圣何塞市圣何塞市中心凯悦广场举行，2019年10月22日至10月25日。
重要日期
- 摘要提交：
2019年5月10日 延期至2019年5月17日
- 论文提交：
2019年5月17日 延期至2019年5月24日
- 作者回复时间：2019年6月24日至27日
- 作者通知：2019年7月3日
- 摄像头就绪版本：2019年8月16日
- 提前注册截止日期：2019年10月1日
所有截止日期为11:59 pm AoE（地球上任何地方）
- FMCAD教学日：2019年10月22日
- 常规课程：2019年10月23日至25日
学生论坛
延续前几年的传统，FMCAD 2019将举办一场学生论坛为研究生提供了一个平台职业生涯阶段，将他们的研究介绍给更广泛的正式方法社区，并征求反馈。我们强烈推荐研究生到提交到学生论坛。
学生论坛提交的截止日期也为11:59 pm AoE（Anywhere on Earth）
- 学生论坛提交：
7月26日 延长至2019年8月1日
- 学生论坛通知：2019年8月16日
关于FMCAD
FMCAD 2019是关于该理论的一系列会议中的第十九次以及形式化方法在硬件和系统验证中的应用。FMCAD为学术界和工业界的研究人员提供了一个领先的论坛介绍和讨论开创性的方法、技术，理论结果，以及用于对计算系统进行形式化推理的工具。FMCAD涵盖了计算机辅助系统设计的正式方面，包括验证，规范、合成和测试。
FMCAD首次于1996年举行，直到2006年，FMCAD和CHARME会议合并为一个年度会议。合并前，FMCAD在美国举行年，其姊妹会议CHARME于年在欧洲举行奇数年。自2006年以来，FMCAD会议每年在各种国际场馆。