Formal Verification 20142016-02-25T11:05:14+00:00

Thursday, May 2014
Royal Berkshire Conference Centre, Reading

AGENDA           

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

Event Sponsors :