posted by user: roopsha || 3495 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

Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
HUCAPP 2023   7th International Conference on Human Computer Interaction Theory and Applications
VISIGRAPP 2023   International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
GRAPP 2023   18th International Conference on Computer Graphics Theory and Applications
IVAPP 2023   14th International Conference on Information Visualization Theory and Applications
VISAPP 2023   18th International Conference on Computer Vision Theory and Applications
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
SMT 2022   20th International Workshop on Satisfiability Modulo Theories
COCOA 2023   The 16th Annual International Conference on Combinatorial Optimization and Applications