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

SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
GISTAM 2025   11th International Conference on Geographical Information Systems Theory, Applications and Management
SI: Model-Driven Performance Engg in CPS 2025   IET CPS Theory & Applications, Special Issue: Model-Driven System-Performance Engineering for CPS
ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
MobiCASE 2025   16th EAI International Conference on Mobile Computing, Applications and Services
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
IEEE CAI 2025   IEEE Conference on Artificial Intelligence
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems