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

SAT 2020   Theory and Applications of Satisfiability Testing
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
Computational Econometrics and Finance 2021   MDPI Econometrics (ISSN 2225-1146) - Special Issue of Topics in Computational Econometrics and Finance: Theory and Applications - *100% Waivers could be granted for strong papers.*
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
ISSTA 2021   International Symposium on Software Testing and Analysis
MVA 2021   17th International Conference on Machine Vision Applications
IFIP-ICTSS 2020   32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
STOC 2021   Symposium on the Theory of Computing
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus