Keeping up with solvers that reach beyond NP!
The Symposium on New Frontiers in Knowledge Compilation is being held in the Vienna University of Technology, Vienna, Austria, on June 4–6, 2015. See the symposium website here.