SAT 2013 : International Conference on Theory and Applications of Satisfiability Testing

posted by user: roopsha || 4998 views || tracked by 10 users: [display]

SAT 2013 : International Conference on Theory and Applications of Satisfiability Testing

Conference Series : Theory and Applications of Satisfiability Testing

Link: http://sat2013.cs.helsinki.fi/index.html

When	Jul 8, 2013 - Jul 12, 2013
Where	Helsinki, Finland
Abstract Registration Due	Feb 1, 2013
Submission Deadline	Feb 8, 2013
Notification Due	Apr 3, 2013

Call For Papers

[Empty]

Related Resources

VISAPP 2026 21st International Conference on Computer Vision Theory and Applications

GRIVAPP 2026 21st International Conference on Computer Graphics, Interaction and Visualization Theory and Applications

DSA 2025 The 12th International Conference on Dependability Systems and Their Applications

ITA 2026 International Congress on Information, Technology and Applications

ACM SaT-CPS 2025 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems

SPRA 2026 SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)

ICITA 2026 ICITA 2026: 20th International Conference on Information Technology and Applications

ECTA 2025 17th International Conference on Evolutionary Computation Theory and Applications

FCTA 2025 17th International Conference on Fuzzy Computation Theory and Applications

HICSS 2026 Hawaii International Conference on System Sciences Mini Track: Advances in Software Resilience: New Frontiers in Testing, Verification, Compliance, and Fault-Tolerance Mechanisms