Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 4003 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 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
ICMLA 2024   23rd International Conference on Machine Learning and Applications
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
IAAI 2024   Innovative Applications of Artificial Intelligence
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
ICONDATA 2024   6th International Conference on Data Science and Applications
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
BCCA 2024   The Sixth International Conference on Blockchain Computing and Applications
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.