Formal Verification Seminar – UK 2013

T&VS is pleased to share a full review of the day here

Agenda

Time Activity
8.45 Arrival, breakfast and networking
9.25 Introduction – Mike Bartley, T&VS
9.30 Broadcom, Geoff Barrett
9.50 STMicroelectronics, James Pascoe
10.10 University of Oxford, Professor Daniel Kroening
10.30 Synopsys, Doug Fisher, Jean-Marc Forey
11.00 Morning Break
11.30 Infineon, Tim Blackmore
11.50 Broadcom, Chris Brown
12.10 Imagination, AshishDarbari & Sam Elliot
12.30 Mentor Graphics, Mark Handover
13.00 Lunch
14.00 STMicroelectronics, Julia Dushina
14.20 Cadence, Deepak Pant
14.50 ARM, Alex Netterville
15.10 Jasper, Lawrence Loh
15.40 Afternoon Break
16.00 Imagination, Anthony Wood
16.10 OneSpin, Sasa Stamenkovic
16.40 EDA Panel Debate
17.15 Close

Event Sponsors

formal-sponsors-2013