In this year’s ENASE (Evaluation of Novel Approaches to Software Engineering) conference the submission Verification of Feature Coordination Using the Fluent Calculus of Ralph Hoch and Hermann Kaindl has made it to the Best Paper Award nomination list!