Verification Futures 2019
Now in its 9th successful year, Verification Europe 2019 provides a unique blend of tutorials, conference presentations, exhibition and industry networking sessions dedicated to discussing the challenges faced in hardware and software verification.
Organised by T&VS in partnership with the verification community the event is FREE to attend and attracted over 400 participants in 2018. The conference program will once again include a dedicated track on formal verification in addition to a new track on ‘Artificial Intelligence in Verification‘ as well as tracks covering safety, security, software testing, and of course hardware verification.
VF2019 provides the opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions. It also provides an excellent opportunity to network and catch up with other verification engineers and vendors from across Europe.
Event at a Glance
Thursday June 13 – Full day conference, exhibition and networking event
- Reading (UK) and online
FREE to attend conference In-Person or Online
- Register at: https://vf2019.eventbrite.co.uk
Registration for this event is now open.
Conference Program | Thursday June 13
Arrival: Refreshments and Networking
Welcome to VF2019
Mike Bartley, Test and Verification Solutions Ltd
Tim Edwards, Horiba Mira Ltd
User Top Verification Challenges
Three users share the top challenges they currently experience in performing test and verification and ask the industry and suppliers to respond.
Steve Wright, University of the West of England
Alan Robinson , Smart Ports
Richard Porter, GraphCore
Harry Foster, Mentor, a Siemens Company (Platinum Sponsor)
Refreshments and Networking
Multi-Track Sessions (AM)
Track #1 (AM):
John Colley, University of Southampton
Michael Ellims, Ricardo
Track #2 (AM):
Software Testing Track
Jim Woodcock, University of York
Alastair Donaldson, Google
Track #3 (AM):
Prof Colin O’Halloran, D-RisQ Ltd
Steve Holloway, Dialog Semiconductor
Lunch and Networking
Frank Schirrmeister, Cadence Design Systems (Platinum Sponsor)
Yoav Hollander, Foretellix Ltd.
Dave Kelf, Breker Verification Systems (Gold Sponsor)
Luca Rastello, Synopsys (Gold Sponsor)
Mike Bartley, Test and Verification Solutions Ltd.
Refreshments and Networking
Multi-Track Sessions (PM)
Track #1 (PM):
Sergio Marchese, OneSpin (Gold Sponsor)
Carsten Maple, WMG, University of Warwick
Peter Davies, Thales UK / AESIN
Track #2 (PM):
Hardware Verification (FPGA and ASIC)
Balasubramanian Gopalakrishnan, T&VS Consultant ( Presenting on behalf of Infineon Technologies UK )
Luis Gutierrez, Cray
James Moore, Leonardo UK
Track #3 (PM):
Artificial Intelligence in Verification
Kevin Surace, Appvance
Antonio Filieri, Imperial
Kerstin Eder, University of Bristol