Date:
Monday, July 8, 2013
Venue: Helsinki, Finland
Armin Biere is in the Program Committee of the 16th International Conference on Theory and Applications of Satisfiability Testing.
Find more details at http://sat2013.cs.helsinki.fi/