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

posted by user: roopsha || 4897 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

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)

AINOW 2025 The First International Conference on Advances in AI-based Systems and Applications

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

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

CoEEPE 2025 2025 5th International Joint Conference on Energy, Electrical and Power Engineering (CoEEPE 2025)

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

SI_Fault_IoV_OTJ 2025 SI on Tools, Techniques, and Applications for Fault Tolerant and Reliable Vehicular Ad-hoc Networks (VANET) and Internet of Vehicles (IoV), The Open Transportation Journal