Our own Raul Sena Ferreira, ESR1, has won one of the few available grants for the VIVA European Summer School on Artificial Intelligence and Software Verification and Validation. This summer school will take place in October this year.
Congratulations to Raul!