Invited Article Foreword

The Invited Article section of this issue is the article “Property-Directed Inference of Universal Invariants or Proving Their Absence” by Aleksandr Karbyshev, Nikolaj Bjorner, Shachar Itzhaky, Noam Rinetzky, and Sharon Shoham. A preliminary version of the paper was presented at the 27th International Conference on Computer Aided Verification (CAV’15) in San Francisco, California, in July 2015. We want to thank Rajeev Alur for inviting the article and handling it throughout the editorial process.