感兴趣的话题感兴趣的主题包括但不限于:
- 综合算法
- 合成工具
- 合成的复杂性和不可能性结果
- 软硬件综合案例研究
程序和提交指南我们接受
- 普通论文(EPTCS风格最多16页),
- 工具文件(EPTCS风格最多7页),
- 工作成果演示,以及
- 介绍相关但已出版的作品。
提交的常规文件和工具文件必须是原始的、未发表的。常规和接受在研讨会上演示的工具文件将出现在电子诉讼理论计算机科学系列;因此,提交必须在LaTeX中使用EPTCS宏程序包.提交的提交文件必须在研讨会由至少一位作者主持。选定论文(包括演示文稿)的扩展版本将出现在信息学报.
- 提交应以电子方式进行这个2012年同期提交页面.
- 手稿完整的研究论文是限制为最多16页(不包括技术附录)PDF格式(EPTCS样式)。
- 手稿描述短工具文件限制为最多7页PDF(EPTCS样式)。
- 演示文稿提交给其他论坛的、已经发表的或尚未完成的正在进行的工作的相关成果报告。在最后的研讨会会议上,将不考虑演讲,但会考虑特别问题。演示文稿的手稿最多10页。
|
|
重要日期:
论文提交: | 2012年4月3日 |
通知: | 2012年5月31日 |
相机就绪版本: | 2012年6月18日 |
研讨会: | 2012年7月7日和8日 |
| |
| |
| |
| |
| |
特刊: | 2013年2月1日 |
(公开提交) | |
主动发言人:
方案委员会
|