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

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

ICoCTA 2025 2025 5th International Conference on Control Theory and Applications

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

DS 2025 28th International Conference on Discovery Science

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)

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

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

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

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