SAT 2026
| SAT 2026 | |
|---|---|
The 29th International Conference on Theory and Applications of Satisfiability Testing
| |
| Ordinal | 29 |
| Event in series | SAT |
| Dates | 2026/07/20 (iCal) - 2026/07/23 |
| Homepage: | https://satisfiability.org/SAT26/ |
| Location | |
| Location: | Lisbon,Portugal |
| Important dates | |
| Abstracts: | 2026/03/02 |
| Submissions: | 2026/03/10 |
| Notification: | 2026/04/30 |
| Camera ready due: | 2026/05/14 |
| Committees | |
| General chairs: | Vasco Manquinho |
| PC chairs: | Alexey Ignatiev, Stefan Szeider |
| Table of Contents | |
,