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 || 5562 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

GISTAM 2026 12th International Conference on Geographical Information Systems Theory, Applications and Management

Petri Nets 2026 Application and Theory of Petri Nets and Concurrency