posted by user: roopsha || 2597 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 2020   Theory and Applications of Satisfiability Testing
ICoCTA 2021   2021 2nd International Conference on Control Theory and Applications (ICoCTA 2021)
VISAPP 2021   16th International Conference on Computer Vision Theory and Applications
GRAPP 2021   16th International Conference on Computer Graphics Theory and Applications
VISIGRAPP 2021   16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
HUCAPP 2021   5th International Conference on Human Computer Interaction Theory and Applications
IVAPP 2021   12th International Conference on Information Visualization Theory and Applications
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
IFIP-ICTSS 2020   32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus