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

ICBICC 2027   2027 2nd International Conference on Big Data, IoT, and Cloud Computing
SPNNA 2026   2026 3rd International Conference on Signal Processing and Neural Network Applications
ICRSA 2026   IEEE--2026 9th International Conference on Robotic Systems and Applications (ICRSA 2026)
IEEE ICRSA 2026   IEEE--2026 9th International Conference on Robotic Systems and Applications (ICRSA 2026)
CHASE 2026   IEEE/ACM conference on Connected Health: Applications, Systems and Engineering Technologies