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