Session 1: Verification and Validation (Chair: Marianne Huchard)