European Summer School on Artifical Intelligence and Software Verification and Validation
coming soon