---2019年国家税务总局---第22届满意度测试理论与应用国际会议2019年7月7日至12日，葡萄牙里斯本http://sat2019.tecnico.ulisboa.pt/workshops.html召集研讨会
理论与应用国际会议可满足性测试（SAT）是专注于理论和应用的研究人员广义命题可满足性问题。此外对于简单的命题可满足性，它还包括布尔优化（例如MaxSAT和伪布尔（PB）约束），量化布尔公式（QBF），可满足模理论（SMT）和约束编程（CP）与布尔级推理的联系。
我们邀请与主要会议相关的研讨会提案2019年SAT项目，将于7月在葡萄牙里斯本举行2019年7月7日至7月12日。
提交车间建议书
建议书应以pdf格式提交至以下地址：workshops@sat2019.tecnico.ulisboa.pt.
提案应包括两部分。首先，简短的科学提出主题的理由、意义和研讨会对社区的特殊好处，以及以前或相关研讨会的列表（如果相关）。一秒钟，组织部分应包括：
- 研讨会组织者的联系信息
- 观众规模估算
- 建议的格式和议程（例如，论文演示、教程、演示会等）
- 潜在受邀演讲者
- 选择会谈和参与者的程序
- 传播计划（如有）
- 持续时间：半天或全天
- 主办方相关主持经验（如有）
- 组委会成员（如已知）
重要日期
- 2月4日，研讨会提案提交截止日期
- 2月18日车间验收通知
- 2019年7月7日至8日SAT研讨会
有关研讨会提案的问题应发送至workshops@sat2019.tecnico.ulisboa.pt.
SAT 2019研讨会主席瓦斯科·曼奎尼奥INESC-ID，IST-葡萄牙里斯本大学
