Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 5761 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

ACM ICSCA 2027   ACM--2027 16th International Conference on Software and Computer Applications (ICSCA 2027)
ICSCA 2027   ACM--2027 16th International Conference on Software and Computer Applications (ICSCA 2027)
HCIA 2026   International Conference on Human-Computer Interaction for Industrial Applications
CTCM 2026   12th International Conference of Control Theory and Computer Modelling
ICEMA 2026   2026 11th International Conference on Energy Materials and Applications (ICEMA 2026)
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.