29th Edition of International Conference on Theory and Applications of Satisfiability Testing
Event Type : Conference
Event status – Active
Event Website Address
https://satisfiability.org/SAT26/
About Event
The 29th Edition of International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) will take place on 20-23 July at the University Institute of Lisbon (ISCTE), Portugal.
Conference Venue
Lisbon , Portugal
Lisbon
Starting Date
20 July 2026
Ending Date
23 July 2026
Deadline for abstracts/proposals
15 July 2026
Event enquiries email address:
[email protected]
Organized By:
satisfiability.
Share this conference: