Formal Verification 2014

Thursday, May 2014
Royal Berkshire Conference Centre, Reading

AGENDA           

8.45 Arrival: Refreshments and Networking
9.25 Welcome – Mike Bartley, Test and Verification Solutions Ltd
9.30 University of Cambridge, Dr. Anthony Fox (Senior Research Associate)
10.00 Mentor Graphics , Abdelouahab Ayari, Ph.D (Application Engineer)
10.30 Dialog Semiconductor, Steven Holloway (Principal Verification Engineer)
11.00 Refreshments and Networking
11.30 Jasper Design Automation, Sai Karthik Madabhushi (Senior Field Application Engineer)
12.00 OneSpin Solutions, Sergio Marchese (Senior Field Application Engineer)
12.30 Infineon Technologies, Tim Blackmore (Verification Manager)
13.00 Lunch and Networking
14.00 University of Oxford, Professor Thomas Melham (Professor of Computer Science)
14.30 Synopsys, Dan Benua (Principal Engineer)
15.00 Broadcom, Dr. Christopher Brown (Verification Team Leader)
15.30 Refreshments and Networking
16.00 Cadence, Joerg Mueller (Senior Verification Engineer)
16.30 Imagination Technologies, Dr. Ashish Darbari (Principal Hardware Design Engineer)
17.00 End of Conference

Event Sponsors :