29th International Conference on Theory and Applications of Satisfiability Testing
SAT 2026 takes place July 20-23, 2026 in Lisbon as part of the Federated Logic Conference, focusing on satisfiability, Boolean optimization, QBF, SMT, model counting, and related Boolean-level reasoning topics.
Monday, July 20, 2026 - Thursday, July 23, 2026
Lisbon, Portugal
2IC
About This Conference
SAT 2026 takes place July 20-23, 2026 in Lisbon as part of the Federated Logic Conference, focusing on satisfiability, Boolean optimization, QBF, SMT, model counting, and related Boolean-level reasoning topics.
Tags
satisfiability
boolean reasoning
MaxSAT
QBF
SMT
Quick Info
Date & Time
Monday, July 20, 2026 - Thursday, July 23, 2026
Location
University Institute of Lisbon (ISCTE)
Lisbon, Portugal