SAT

International Conference on Theory and Applications of Satisfiability Testing

CCF BCORE ATH-CPL B计算机科学理论1 届 · 2026–2026

当前届 / 最近一届

SAT 2026

已结束

July 20 - July 23, 2026·Lisbon, Portugal

International Conference on Theory and Applications of Satisfiability Testing

CCF BCORE ATH-CPL B计算机科学理论
已截止

截止: 2026-03-10 23:59:59 AoE

官网: satisfiability.org/SAT26/

截止日期漂移

横轴为年份,纵轴为截止日在一年中的位置;点越平说明每年越准时。

录用率趋势

来源见表格链接;同年多轮合并统计。

暂无录用率数据。

历届截止

每届取最后一轮正式截止;有多轮或摘要截止的在备注列标出。

年份截止(原时区)会期地点备注状态
20262026-03-10 23:59:59 AoEJuly 20 - July 23, 2026Lisbon, Portugal含摘要截止已结束

举办地历史

  • 2026Lisbon, Portugal · July 20 - July 23, 2026

同领域其他会议