Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 5626 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

WAML-HPC 2026   3rd Workshop on Applications of Machine Learning and Artificial Intelligence in High-Performance Computing
ACM CETA 2026   ACM--2026 5th International Conference on Computer Engineering, Technologies and Applications (CETA 2026)
ITEA 2026   The 3rd International Conference on Intelligent Technology for Educational Applications
CETA 2026   ACM--2026 5th International Conference on Computer Engineering, Technologies and Applications (CETA 2026)
Springer ISDEA 2026   Springer--2026 5th International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2026)
ISDEA 2026   Springer--2026 5th International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2026)
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.