根据 Solver2018 会议安排，在会议日程中计划安排一次主题讨论环节，讨论主题向所有参会者征集，征集范围包括但不限于：

• 有待解决的解法器相关理论、算法、实现及应用等问题；
• 实际应用对解法器的需求；
• 解法器研究及应用过程中的新现象和新问题；
• 对解法器相关研究进展的评论与讨论；
• 解法器相关学术交流、合作平台的建议与提议；
• 其他任何与解法器相关的问题。

讨论主题可由 1 人或多人联合提出，最终入选的主题由参会的程序委员会成员于会议前一天讨论确定。对每个入选的主题，将安排不超过 5 分钟主题发言（形式不限），由提议者阐述问题。主题讨论共 40 分钟 ，包括主题发言不超过 4 个，讨论不少于 25 分钟。

主题提交（仅提交题目）邮箱：solver2018@xtu.edu.cn。

主题提交截止日期：2018 年 6 月 21 日。

返回