Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 4133 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
VISAPP 2025   20th International Conference on Computer Vision Theory and Applications
IVAPP 2025   16th International Conference on Information Visualization Theory and Applications
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
GRAPP 2025   20th International Conference on Computer Graphics Theory and Applications
HUCAPP 2025   9th International Conference on Human Computer Interaction Theory and Applications
ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
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.