VI Jornadas OI2 - Nuevas formas de verificación