Date:
Monday, July 14, 2014
Uwe Egly co-chairs 17th International Conference on Theory and Applications of Satisfiability Testing which is collocated with Vienna Summer of Logic.
For more information visit http://baldur.iti.kit.edu/sat2014/.