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

SEC 2026   12th International Conference on Software Engineering
SWAT 2026   Scandinavian Workshop on Algorithm Theory
SPIRE 2026   33rd International Symposium on String Processing and Information Retrieval
SOENG 2026   12th International Conference on Software Engineering
ESA 2026   European Symposium on Algorithms
IJASA 2026   The International Journal of Ambient Systems and applications
HPCA-PhS 2026   Sixth Minisymposium on HPC Applications in Physical Sciences
AAIM 2026   The 20th International Conference on Algorithmic Aspects in Information and Management
DATA 2026   15th International Conference on Data Science, Technology and Applications
IJCCSA 2026   International Journal on Cloud Computing: Services and Architecture