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

CORAJ 2026   4th International Conference on Operations Research and Applications
SEAPP 2026   15th International Conference on Software Engineering and Applications
IOTSEC 2026   3rd International Conference on IoT & Information Security
ITEORY 2026   4th International Conference on Information Theory and Machine Learning
SCM 2026   9th International Conference on Soft Computing, Control and Mathematics
IJWesT 2026   International Journal of Web & Semantic Technology
ICSS 2026   12th International Conference on Software Security
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
IJMA 2026   International Journal of Multimedia & Its Applications -- ERA Indexed, H index - 24
MEAP 2026   9th International Conference on Mechanical Engineering & Applications