Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 5152 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
CTCM 2025   11th International Conference of Control Theory and Computer Modelling
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
ICCTA 2025   2025 35th International Conference on Computer Theory and Applications (ICCTA)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
BIOEJ 2025   Bioscience & Engineering: An International Journal
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.