posted by user: roopsha || 2461 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
ICAICTA 2020   7th International Conference on Advanced Informatics: Concepts, Theory and Applications
ECTA 2020   12th International Conference on Evolutionary Computation Theory and Applications
NCTA 2020   12th International Conference on Neural Computation Theory and Applications
KES 2020   Global and Constrained Optimization: Algorithms and Applications
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
ISSTA 2020   International Symposium on Software Testing and Analysis
CONCUR 2020   31st International Conference on Concurrency Theory
CLUSTER 2020   IEEE International Conference on Cluster Computing
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications