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

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

FacebookTwitterLinkedInGoogle


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

Bioinspired Intelligent Algorithms 2021   Special Issue Bioinspired Intelligent Algorithms for Optimization, Modeling and Control: Theory and Applications
CCTA 2022   6th IEEE Conference on Control Technology and Applications
ICSTA 2022   4th International Conference on Statistics: Theory and Applications
SMCA 2022   International Conference on Strategic Models in Computing Applications
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
VISAPP 2022   17th International Conference on Computer Vision Theory and Applications
VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems