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

BRAIN 2026   BRAIN'26 - 7th Workshop on Blockchain theoRy and ApplicatIoNs @ IEEE PerCom 2026
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
ITA 2026   International Congress on Information, Technology and Applications
SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
AI Encyclopedia 2027   Call for Articles in Elsevier's new AI Encyclopedia
ICITA 2026   ICITA 2026: 20th International Conference on Information Technology and Applications
BIOEJ 2025   Bioscience & Engineering: An International Journal
Ei/Scopus-EECT 2026   2026 IEEE 6th International Conference on Advances in Electrical, Electronics and Computing Technology (EECT 2026)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
ICCTA 2025   2025 35th International Conference on Computer Theory and Applications (ICCTA)
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.