---2017年国家税务总局---第20届满意度测试理论与应用国际会议2017年8月28日至9月1日，澳大利亚墨尔本http://sat2017.gitlab.io召开研讨会
国际可满足性测试理论与应用会议（SAT）是面向研究者的首要年度会议，主要关注广义命题可满足性问题的理论与应用。除了简单的命题可满足性，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足模理论（SMT）和约束编程（CP），用于与布尔级推理有明确联系的问题。
我们邀请与2017年SAT主要会议计划相关的研讨会提案，该研讨会将于2017年8月28日至9月1日在澳大利亚墨尔本举行，与2017年CP和2017年ICLP、和以下内容2017国际JCAI.
提交车间建议书
建议书应以pdf格式提交至以下地址：sat17workshops@gmail.com
提案应包括两部分。首先，对拟议主题、其重要性、研讨会对社区的特殊益处进行简短的科学论证，以及之前或相关研讨会的列表（如果相关）。第二，组织部分应包括：
- 研讨会组织者的联系信息
- 观众规模估算
- 建议的格式和议程（例如，论文演示、教程、演示会等）
- 潜在受邀演讲者
- 选择会谈和参与者的程序
- 传播计划（如有）
- 持续时间：半天或全天
- 主办方相关主持经验（如有）
- 组委会成员（如已知）
重要日期
- 3月27日，研讨会提案提交截止日期
- 4月10日车间验收通知
- 2017年8月28日SAT研讨会
有关研讨会提案的问题应发送至sat17workshops@gmail.com
2017年SAT研讨会主席斯特凡·鲁梅勒悉尼大学和新南威尔士大学悉尼分校
