The paper “Decoupling the Ascending and Descending Phases in Abstract Interpretation” by Vincenzo Arceri, Enea Zaffanella, and Isabella Mastroeni (University of Verona) has just been published by Springer here and will be presented this week in Auckland, New Zealand, at the 20th Asian Symposium on Programming Languages and Systems (APLAS 2022)!

Our new paper Substitute plastic film with Kraft paper in automatic pallet wrapping: an AI pipeline has been accepted at AIxIA conference!