呼吁参与第二十届国际会议满意度测试的理论与应用---2019年国家税务总局---2019年7月7日至12日，葡萄牙里斯本http://sat2019.tecnico.ulisboa.pt/registration.html提前注册：2019年6月8日23:59 AoE延迟注册：2019年6月30日23:59 AoE
理论与应用国际会议满意度测试（SAT）是专注于理论和应用的研究人员广义命题可满足性问题。此外为了明确命题的可满足性，它还包括布尔型优化（例如MaxSAT和伪布尔（PB）约束），量化布尔公式（QBF），可满足模理论（SMT）和约束编程（CP）与布尔级推理的联系。
基于SAT可以解决许多困难的组合问题技术，包括在形式验证中出现的问题，人工智能、运筹学、计算生物学，密码学、数据挖掘、机器学习、数学等，过去SAT研究的理论和实践进展二十年来，SAT技术各种领域中不可或缺的工具。
2019年SAT旨在通过征集原始在这些领域的理论和实践贡献与可满足性的联系。具体而言，2019年SAT邀请针对SAT不同方面的科学贡献广义解释，包括（但不限于）理论进步（如精确算法、证明复杂性和其他复杂性问题）、实用搜索算法、知识SAT解算器和基于SAT的编译、实现级详细信息系统、问题编码和重新格式化、应用程序（包括新的应用领域和对现有应用领域的改进方法），以及基于严格的实验。
登记处
现在可以提前注册会议和研讨会。我们鼓励所有潜在与会者尽快注册！6月8日之后，价格将增加！注册可以在的网站会议.
主要会议1（7月9日至12日）
| 费率 |
提前（直到6月8日） |
延迟（直到6月30日） |
现场 |
| 学生 |
200€ |
270€ |
320€ |
| 学术 |
360€ |
430€ |
490€ |
| 工业 |
460€ |
530€ |
640€ |
1价格包括咖啡休息、午餐、欢迎招待会、远足和宴会。
研讨会2（7月7日至8日）
| 费率 |
早期 |
迟到 |
现场 |
| 1天 |
40€ |
40€ |
60€ |
| 2天 |
60€ |
60€ |
80€ |
2价格包括休息时间。
参加2019年SAT
会议地点三
会议将于卡卢斯特基金会古尔本基阶.永久成立基金会的主要目的是通过艺术提高生活质量，慈善、科学和教育。基金会有一个博物馆创始人的私人收藏，以及现代和当代艺术；管弦乐队和合唱团；艺术图书馆和档案馆；一科研院所；还有一个花园，位于里斯本也有教育活动。
有关会议地点和社交活动的更多信息可以被找到在这里.
三暑期学校和研讨会将在高等教育学院（IST/UL）的里斯本大学.
Visa卡
葡萄牙是申根地区。请验证您是否旅行前需要申根签证。
如果你需要签证，我们建议联系最近的大使馆、领事馆，或旅行社，以获取有关护照和签证要求的信息您的国家申请进入葡萄牙（申根）。如果你需要邀请用于签证目的的信件，然后在适当的时候写信给主席@sat2019.tecnico.ulisboa.pt.
不幸的是，为了避免签证，我们需要以下信息欺诈：
学生：您的主管的简短推荐信，包括联系人大学的详细信息。
非学生：至少一个数字对象标识符（DOI）SAT会议范围内的出版物或您的其他证据与SAT的联系（例如雇主的推荐信）。
受邀演讲人
研讨会
2019年SAT/SMT/AR暑期学校
可满足性（SAT）、可满足性模理论（SMT）和自动化推理（AR）继续取得快速进展，并在广泛领域中发现新用途在计算机科学及其他领域的各种应用。这个SAT/SMT/AR暑期学校旨在带来一组精选的学生在这一激动人心的研究领域迅速取得进展。学校延续了2011年开办的暑期学校的成功模式2015年成为SAT/SMT暑期学校，2016年增加AR。
竞争
重要日期
- 2019年7月3日至6日——SAT/SMT/AR暑期学校
- 2019年7月7日至8日-研讨会
- 2019年7月9日至12日——会议
有关会议的更多信息，请访问http://sat2019.tecnico.ulisboa.pt/.关于论文的问题提交过程可提交给项目主席米科尔亚什雅诺塔和在存在中林塞.
