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

WAIMLAP 2026   Workshop on Artificial Intelligence and Machine Learning Applications
SOFT 2026   12th International Conference on Software Engineering
SAI 2026   15th International Conference on Soft Computing, Artificial Intelligence and Applications