This workshop brings together eminent researchers in the area of Logic and Computation.: kgs.logic.at/logic-computation07/.