SAT 2013 : International Conference on Theory and Applications of Satisfiability Testing

Home

Categories
CFPs

Post a CFP

Conf Series
My List

Timeline

My Archive
On iPhone
On Android

posted by user: roopsha || 5429 views || tracked by 10 users: [display]

SAT 2013 : International Conference on Theory and Applications of Satisfiability Testing

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 SaT-CPS 2025 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems

Practical AI Testing Strategies for Bank 2025 Your App Is Your Bank: Practical AI Testing Strategies for Flawless Digital Experiences