Verification Futures Europe 2018

Now in its 8th successful year, VF2018 Europe now incorporates Formal Verification 2018 and is a unique one day conference, exhibition and industry networking event organised by T&VS in partnership the community to discuss the challenges faced in hardware and software verification an including a focus on formal, safety and security issues.

The event gives the opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions. It’s also an excellent opportunity to network and catch up with other verification engineers across Europe.

Event at a Glance

When: Thursday 14th June, 2018
Where: Reading, UK
Cost: FREE
Attend: In-person or Online
Format: Full day conference and networking event
Exhibition: An exhibition area enables delegates to meet the event sponsors and discuss Formal tools and services.

Call for Submissions

Whatever your specialty, Verification Futures provides an excellent opportunity to share your experiences and insights on the key technical and industry challenges we face in verification. We are now seeking submissions for presentations and papers describing interesting and innovative experiences related to these challenges.

Outline Agenda

08:30 Registration, Coffee and Networking
09:25 Welcome: Mike Bartley, Test and Verification Solutions Ltd.
09:30 Keynote Presentation
10:00 User Top Verification Challenges
10:00   Verification Challenge 1
10:10   Verification Challenge 2
10:20   Verification Challenge 3
10:30 Presentation
11:00 Refreshments and Networking
11:30 Presentations
11:45 Multi-Track Sesssion
Track 1
Track 2
Software Testing
Track 3
Formal Verification
11:45 Speaker Speaker Speaker
12:05 Speaker Speaker Speaker
12:25 Speaker Speaker Speaker
12:45 Lunch and Networking
13:45 Speaker
11:45 Multi-Track Sesssion
Track 4
Track 5
Hardware Verification
Track 6
Formal Verification
14:15 Security starts with Risk Assessment and Threat Modelling
Duncan Purves, 2 Insight Ltd.
Speaker Speaker
14:35 Speaker Speaker Speaker
14:55 Speaker Speaker Speaker
15:15 Refreshments, Networking & Meet the Sponsors
15:45 Presentation
16:00 Presentation
16:15 Presentation
16:30 Panel Discussion
16:45 Event Closes


By Pre-Registering you can guarantee your FREE delegate place. You will then receive full details of the programme from us closer to the event, giving you an opportunity to confirm your attendance, either in-person or online.