Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 4387 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
CLNLP 2025   2025 2nd International Conference on Computational Linguistics and Natural Language Processing
21st AIAI 2025   21st (AIAI) Artificial Intelligence Applications and Innovations
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
25th EANN/EAAAI 2025   25th (EANN/EAAAI) Engineering Applications and Advances of of Artificial Intelligence
VISAPP 2025   20th International Conference on Computer Vision Theory and Applications
VALID 2025   The Seventeenth International Conference on Advances in System Testing and Validation Lifecycle
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
MobiCASE 2025   16th EAI International Conference on Mobile Computing, Applications and Services
COPA 2025   14th Symposium on Conformal and Probabilistic Prediction with 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.