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

GRAPH-HOC 2026   18th International Conference on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
FASSI 2026   The Twelfth International Conference on Fundamentals and Advances in Software Systems Integration
PREDICTION SOLUTIONS 2026   International Conference on Prediction Solutions for Technical and Societal Systems
IJPLA 2026   International Journal of Programming Languages and Applications
DMSE 2026   7th International Conference on Data Mining and Software Engineering
IJWesT 2026   International Journal of Web & Semantic Technology
SENSORCOMM 2026   The Twentieth International Conference on Sensor Technologies and Applications
SENSORDEVICES 2026   The Seventeenth International Conference on Sensor Device Technologies and Applications
AFIN 2026   The Eighteenth International Conference on Advances in Future Internet
IEEE ICPEA 2026   IEEE--2026 The 9th International Conference on Power and Energy Applications (ICPEA 2026)