[nexa] Jurix 2018 (proceedings)