Verolog Congress 2017 (Monday 10 July)