European Summer School on Artifical Intelligence and Software Verification and Validation
To be announced